Subject: [PATCH] gnu: Add r-dtmm.

From: Ricardo Wurmus <[email-masked]>
Date: Mon, 03 Jul 2023 13:43:09 +0200

Hi Navid,

thank you for the patch!  I applied it and pushed it to Guix with commit
669f0eaed6310233295fbd0a077afc9ce054c6ab after expanding on the
description a little to turn it into a complete sentence.

-- 
Ricardo