bug#21684: 25.0.50; undo in query-replace w/o exit

[Glenn Morris]

Tino Calancha wrote:

>> Was a copyright assignment ever completed?
>> I don't see one on file.
>>
>> http://debbugs.gnu.org/21684#14
>
> Yes it was, around November 2015: copyright assignment  #1056152

Thanks. The semi-public file that records these things must not be
up-to-date (not for the first time). Not your problem. I'll ask the
relevant people.