Subject: Re: bug#42874: [PATCH] Mark XEmacs compat alias user-original-login-name obsolete

From: Stefan Kangas <[email-masked]>
Date: Sun, 16 Aug 2020 06:41:37 -0700

close 42874 28.1
thanks

Lars Ingebrigtsen <[email-masked]> writes:

> Sounds good to me.

Thanks.  So I pushed it to master as commit b06ef8d5e9.

If anyone disagrees, feel free to revert.

Best regards,
Stefan Kangas