On Thu, Oct 17, 2019 at 09:36:09AM +0200, Jean-Marc Lasgouttes wrote: > Just a quick message to see whether archiving works again. Just another test, ignore. Pavel