« Reply #15 on: May 02, 2019, 10:51:21 pm »
Well, too often there is simply no difference . But hey, if users don't think it is important enough to report, then probably it is not important enough to fix either.
Filed as
issue #35476.
ETA: and fixed.
Bart
« Last Edit: May 02, 2019, 11:48:10 pm by Bart »
Logged