[Users] Odd behaviour introduced somewhere between git150 and git155

[Paul]

On Sat, 10 Nov 2018 20:20:46 +0000
Brad Rogers <brad at fineby.me.uk> wrote: 

> For my future reference, would you have preferred the bug report on
> bugzilla?

When you use the git version and report breakage caused by a recent
(unreleased) change then, for me, reporting here is preferable. You
might then be asked to open a bug report, depending on time
restraints, but reporting here first is always a good move. imo.

with regards

Paul