Processed: Re: thansk for arduino-mk NMU

[Debian Bug Tracking System]

Processing control commands:

> found -1 0.12.0-1
Bug #718892 {Done: Scott Howard <showard at debian.org>} [arduino-mk] arduino-mk: support more file extensions
Marked as found in versions arduino-mk/0.12.0-1; no longer marked as fixed in versions arduino-mk/0.12.0-1 and reopened.
> tags -1 + patch
Bug #718892 [arduino-mk] arduino-mk: support more file extensions
Added tag(s) patch.

-- 
718892: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=718892
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems