Your message dated Sun, 13 May 2018 13:31:08 +0200
with message-id <87zi13lrlv.fsf@gnu.org>
and subject line Re: bug#28446: linux-libre@4.1 should select 4.1.x, not 4.13.x
has caused the debbugs.gnu.org bug report #28446,
regarding linux-libre@4.1 should select 4.1.x, not 4.13.x
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
28446: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=28446
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems