On Thu, Dec 29, 2011 at 1:44 PM, Andreas Veithen <andreas.veit...@gmail.com> wrote: > OK, thanks. Let me know when the upgrade is done. I will then switch a > couple of builds back to Ubuntu (instead of ubuntu1||ubuntu2||ubuntu3) > to check if that solves the issue.
Done. /niklas
