On 16/09/16 08:01, Daniel van Vugt wrote: > However the more accurate naming of the interface being an "Observer"
I guess this is the root of the discussion: I think "Report" is the more precise name. -- Mir-devel mailing list Mir-devel@lists.ubuntu.com Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/mir-devel
