Subject: Re: bug#161: closing

From: Mark Hindley <[email-masked]>
Date: Thu, 12 Jan 2023 12:10:27 +0000

Closing as there is nothing actionable here.

Please start a new bug report if it is still an issue.

Mark