Subject: Re: SED 4.2.2 vs SED 4.1.5

From: Assaf Gordon <[email-masked]>
Date: Wed, 25 Jan 2017 02:41:39 +0000

tags 22428 notabug
close 22428
stop

Hello,

Based on Paolo's last message, I'm closing this bug report:
 https://debbugs.gnu.org/cgi/bugreport.cgi?bug=22428#8

regards,
 - assaf