Subject: bug#75530: [email-masked]

From: [email-masked]
Date: Wed, 15 Jan 2025 07:29:07 +0000

This looks great! Would be really sweet to get this one merged.