[11:27] ricotz: Hey, is there any reason why 415.13 hasn't been copied to the main PPA yet? === ogra_ is now known as ogra [14:16] mamarley, sorry, I wanted to run it first, but didn't got to it yet :( [14:16] OK [14:16] if you feel comfortable then copy it [14:17] It works fine on my system and soee also tried it. It also isn't like anyone will get automatically upgraded since it is a new major release, so I will go ahead and copy it. [14:18] Oops, dang, wrong PPA. Just a sec… [14:20] Fixed. Sorry, please ignore the build failures.