Subject: Re: [bug#67995] [PATCH 2/2] gnu. josm. Update to 18907.

From: Julien Lepiller <[email-masked]>
Date: Mon, 1 Jan 2024 10:46:53 +0100

Pusehd to master as 8ba7a4a042cf04923ca1c686980efc170e9db086 and
9bfb7db8f66a62005bb76bef27273fc7101f9b52, thanks!