Subject: Re: lib/unistr/u8-uctomb.c fails to compile
From: Paul Eggert <[email-masked]>
To: [email-masked]
Date: Mon, 21 Sep 2020 12:11:42 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

As the bug appears to have been fixed I'm closing the bug report.