Subject: [PATCH] gnu: r-harmony: Update to 1.2.0.
From: Ricardo Wurmus <[email-masked]>
To: [email-masked]
Date: Mon, 06 May 2024 13:05:20 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Thanks for the patch!  This was applied with commit
e3586aa61d58fd8992abb594edc2168d5bf5a6da on February 15, but we forgot
to close this issue.

-- 
Ricardo