On Fri, Sep 15, 2017 at 12:49 AM, Milan Crha <mcrha@xxxxxxxxxx> wrote:
Thus the change didn't take into the effect, while it's more than two weeks now.
For what it's worth, the change definitely took effect for the GNOME SIG. We would be complaining very loudly if it hadn't. :)
Michael _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx
