> pcre3 is already in Ubuntu main
we don't want to have two versions in main. please could you evaluate first what is needed to demote pcre3?
> pcre3 is already in Ubuntu main
we don't want to have two versions in main. please could you evaluate first what is needed to demote pcre3?