6 Feb
2020
6 Feb
'20
11:51 p.m.
On Fri, 7 Feb 2020 13:44:27 +0800 Ed Greshko ed.greshko@greshko.com wrote:
This option may only be relevant if one closes FF directly.
yes, may be.That's what I normally do.
d