Subject: Re: bug#32194: [PATCH] Use Gnulib regex for lib-src
From: Paul Eggert <[email-masked]>
To: Eli Zaretskii <[email-masked]>
Cc: [email-masked]
Date: Sun, 5 Aug 2018 19:40:50 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

OK, I've installed the patch into master and am marking this bug report as done. 
There are several other ways the Emacs regex code can be improved; that can wait 
until later, though.