Subject: [bug#75778] [PATCH] gnu: Add microhs.

From: Lars-Dominik Braun <[email-masked]>
Date: Wed, 23 Apr 2025 16:20:59 +0200

Hi,

> Have you looked into microhs since then?

unfortunately I have not, so I cannot provide any updates.

Lars