Hi Geert,

No Problem: I reassigned the bug to the correct package I believe:
arduino-core would need updated assuming I am correct the package is 1.0.5.

Reply via email to