Noam Postavsky <npostavs@gmail.com> writes:

> Drew Adams <drew.adams@oracle.com> writes:
>
>>> What happened to the bug # in the Subject line?
>>> Please restore it.
>>
>> Hm. I see it got restored by my reply.
>> Why was it missing from Mauro's and Lars's
>> mails?  E.g.:
>
> I guess Mauro just copied the subject from
> https://debbugs.gnu.org/15682#5, which doesn't include the bug number
> (because it shows mail as it was originally sent, before the bug number
> was assigned).
>

That might be what happened.

Sorry for the inconvenience.