9 Sep
2019
9 Sep
'19
7:40 a.m.
On Fri, 2019-09-06 at 15:26 -0400, Zane Bitter wrote:
On 4/09/19 3:51 AM, Andreas Florath wrote:
Many thanks! Works like a charm!
Suggestion: document default value of 'delete_on_termination'. 😉
Patches accepted 😉