Subject: Re: [bug#56298] [PATCH 3/7] gnu: Add rust-minidom-0.12.

From: Maxime Devos <[email-masked]>
Date: Wed, 27 Jul 2022 18:02:22 +0200

A patch for this has already been submitted, at 
<https://debbugs.gnu.org/cgi/bugreport.cgi?bug=49451#32>.