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

From: Ricardo Wurmus <[email-masked]>
Date: Tue, 13 Apr 2021 13:56:11 +0200

Hi Roel,

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

Thanks!

-- 
Ricardo