Paul Eggert Wed, 20 Nov 2019 11:23:22 -0800
On 11/20/19 6:22 AM, Martin Schulte wrote:
vardhamanbn1 is a valid encoding
Thanks for explaining; closing the bug report.