Subject: bug#49590: Error in GNU sed manual

From: Jim Meyering <[email-masked]>
Date: Sat, 17 Jul 2021 14:15:40 -0700

tags 49590 notabug
close 49590
done

Thanks, Davide, for explaining. I'm closing this and marking it as a non-bug.