On 02/12/14 23:33, Paul Larson wrote: > I think this should be fixed now. Check it in about 30 minutes.
I thought it was fixed last week. -- Mir-devel mailing list Mir-devel@lists.ubuntu.com Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/mir-devel
