On Mon, Jul 31, 2023 at 08:43:22PM +0200, ilf wrote:
Do you think I should file a feature request for this in the tracker?
Yes, please go ahead. I don't have a current timeline for starting master development again, but when I do, it will be good to have the request there.
Thank you. -- Kevin J. McCarthy GPG Fingerprint: 8975 A9B3 3AA3 7910 385C 5308 ADEF 7684 8031 6BDA
signature.asc
Description: PGP signature