Bug#802580: marked as done (arduino-mk: fails to parse certain boards.txt files)

Tue Jan 10 23:21:05 UTC 2017

Your message dated Tue, 10 Jan 2017 23:19:06 +0000
with message-id <E1cR5h4-0007RX-Ih at fasolo.debian.org>
and subject line Bug#802580: fixed in arduino-mk 1.5.1-1
has caused the Debian Bug report #802580,
regarding arduino-mk: fails to parse certain boards.txt files
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner at bugs.debian.org
immediately.)

-- 
802580: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=802580
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems
-------------- next part --------------
An embedded message was scrubbed...
From: Ssn Kleinmann <ssn at kleinmann.com>
Subject: arduino-mk: fails to parse certain boards.txt files
Date: Wed, 21 Oct 2015 07:51:50 -0400
Size: 4417
URL: <http://lists.alioth.debian.org/pipermail/debian-science-maintainers/attachments/20170110/d19ba0e3/attachment-0002.mht>
-------------- next part --------------
An embedded message was scrubbed...
From: Simon John <git at the-jedi.co.uk>
Subject: Bug#802580: fixed in arduino-mk 1.5.1-1
Date: Tue, 10 Jan 2017 23:19:06 +0000
Size: 5600
URL: <http://lists.alioth.debian.org/pipermail/debian-science-maintainers/attachments/20170110/d19ba0e3/attachment-0003.mht>