[patch] update arduino18 to 1.8.5
arduino18.diff (text/plain), 15.22 KB, created by Christoph Moench-Tegeder on 2018-07-17 19:53:42 UTC
(hide)
 
Creator: Christoph Moench-Tegeder
Created: 2018-07-17 19:53:42 UTC
Size: 15.22 KB

Flags:

kevans: maintainer-approval+
Actions: View | Diff
Attachments on bug 229814: 195182 | 195211