[PATCH v5] Resurrect gdb-add-index as a contrib script

[Jan Kratochvil]

On Fri, 15 Nov 2013 22:09:33 +0100, Samuel Bronson wrote:
> +2013-11-15  Tom Tromey  <tromey@redhat.com>
> +	    Jan Kratochvil  <jan.kratochvil@redhat.com>
> +	    Doug Evans  <dje@google.com>
> +	    Samuel Bronson  <naesten@gmail.com>
> +
> +	Bring back gdb-add-index as a contrib script.
> +	* contrib/gdb-add-index.sh: New file.
> +	* NEWS: Note the addition.

Yes, I am fine with the patch now.


Thanks,
Jan