GNU bug report logs - #75778
[PATCH] gnu: Add microhs.

Previous Next

Full log

Message #14 received at 75778 <at> debbugs.gnu.org (full text, mbox):

From: gay <at> disroot.org
To: Lars-Dominik Braun <lars <at> 6xq.net>, 75778 <75778 <at> debbugs.gnu.org>
Subject: Re: [PATCH] gnu: Add microhs.
Date: Sun, 26 Jan 2025 16:51:25 +0200

Nice, thank you :)

To anyone having non-x86 hardware: testing would be helpful, especially 
considering there is bug in Hugs that triggers randomly depending on 
hardware and/or OS.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.