On Sat, Jun 17, 2017 at 11:29 PM Florian Müllner <fmuell...@gnome.org> wrote:
> I hope that subscribers to an issue will receive a notification when a > mentioned issue is closed > To answer my own question: It looks like that's not the case, so anyone interested will need to explicitly subscribe to the related issue. Still, hardly a deal breaker IMHO. Florian
_______________________________________________ desktop-devel-list mailing list desktop-devel-list@gnome.org https://mail.gnome.org/mailman/listinfo/desktop-devel-list