Ekaitz Zarraga 写道：
> Yeah, problem solved I'm sorry I thought I pulled before trying 
> it...

Yay!  Fixed bugs are the best bugs.

Closing this bug by CC'ing <44381-done@debbugs.gnu.org>.

Kind regards,

T G-R