<div dir="auto">Althrough the IDE was updated to 3.13.90 (and display It correctly), .deb files are still named 3.12.90 in launchpad.<div dir="auto"><br></div><div dir="auto">Gen.</div></div>