Paul Eggert Wed, 30 Jan 2019 19:22:31 -0800
Thanks for the test case. This appears to be the same as bug#22793 so I'll merge them.
https://debbugs.gnu.org/22793