Subject: Re: Name of temporary files changed

From: Sergey Matveev <[email-masked]>
Date: Fri, 9 Sep 2022 18:46:01 +0300

Greetings!

*** Jan Niklas Böhm [2022-09-09 16:42]:
>Could it be changed back to the earlier naming scheme?

Definitely it should be changed back! Thank you for noticing that.
It was not intentional at all -- those prefixes were lost accidentally.

-- 
Sergey Matveev (http://www.stargrave.org/)
OpenPGP: 12AD 3268 9C66 0D42 6967  FD75 CB82 0563 2107 AD8A