Subject: [PATCH] gnu: Add r-hmm.
From: Ricardo Wurmus <[email-masked]>
To: [email-masked]
Date: Tue, 13 Apr 2021 13:56:11 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi Roel,

I pushed this after reindenting and using HTTPS for the home page.

Thanks!

-- 
Ricardo