Hi! l...@gnu.org (Ludovic Courtès) skribis:
> Nevertheless, the risk of false-positives obviously exists, hence the > need for an escape hatch. > > What about the attached patch? Pushed as 61b1dbbdcd87f6b37d6b87715a9a4da4e63485ab. Thanks, Ludo’.
Hi! l...@gnu.org (Ludovic Courtès) skribis:
> Nevertheless, the risk of false-positives obviously exists, hence the > need for an escape hatch. > > What about the attached patch? Pushed as 61b1dbbdcd87f6b37d6b87715a9a4da4e63485ab. Thanks, Ludo’.