Hi! By chance, I just happened to see this bugreport. And I wanted to comment that an official package for mcu8051ide is being prepared by Fabricio Alcalde, and I'm planning to sponsor the upload soon.
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=546549 I'll let him know about this bug, but it's obviously something that concerns upstream. -- Besos, Marga -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
