[Pkg-electronics-devel] Processed: Re: Bug#990534: arduino: Arduino-IDE not starting witch Cinnamon Desktop.

[Debian Bug Tracking System]

Processing control commands:

> tags -1 + help
Bug #990534 [arduino] arduino: Arduino-IDE not starting witch Cinnamon Desktop.
Added tag(s) help.

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