On 1/2/20 1:47 PM, Thomas Deutschmann wrote:

> I managed to reproduce the error using pure Debian:

Thanks, with that recipe I reproduced the problem on Ubuntu 18.04.5, and 
installed the attached. I'll boldly close the bug report.

libpcre is quite a pain to use, and makes 'grep' less reliable. Perhaps somebody 
with some time could see whether libpcre2 is any better.