Tino Calancha <tino.calancha@gmail.com> writes:

> I mean, this is bug 38084

Thanks; I did not realize that there is already a bug.  Here is an
amended patch which references bug#38084 in the commit message.