Martin Mon, 27 Jul 2020 22:15:10 -0700
On 2020-07-27 20:18, Sandro Tosi wrote: > So: let's just make that automatic? Thoughts?
Yes.