On Fri, Sep 15, 2017 at 12:49 AM, Milan Crha <mcrha(a)redhat.com> 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