Subject: [PATCH] gnu: Add r-bigd
From: Ricardo Wurmus <[email-masked]>
To: [email-masked]
Cc: [email-masked]
Date: Thu, 15 May 2025 10:36:21 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi Tor-björn Claesson,

my apologies for not seeing this earlier.  I've just rebased the 
patch, added a missing test input, recorded some properties, and 
pushed it to the "master" branch with commit 
d1a50560956a0c400de68f0bd852c5b83182efe4.

Thank you!

-- 
Ricardo