On 2017-11-09 06:12, Jeremy Bicha wrote: >> I may file an upstream bug. > > It's probably worth mentioning in the user help that button and when > it shows up.
Right. I'll consider that too. Adding a gnome-user-docs task to remember it.
On 2017-11-09 06:12, Jeremy Bicha wrote:
>> I may file an upstream bug.
>
> It's probably worth mentioning in the user help that button and when
> it shows up.
Right. I'll consider that too. Adding a gnome-user-docs task to remember it.