On Sat, Sep 16, 2017 at 1:07 PM, Daniel Gustafsson <daniel(at)yesql(dot)se> wrote:
>> A minor issue, certainly, but one worth fixing. This has happened to
>> me many times now, since I'm a big fan of using annotations. I imagine
>> that this wouldn't be very hard to implement, since the "Subscribe"
>> button already doesn't appear when I'm not logged in.
>
> The attached patch should fix it, I think.
That was quick. Thanks Daniel!
--
Peter Geoghegan