Subject: Re: [bug#73373] [PATCH] gnu: Add AntiMicroX.

From: Eric Bavier <[email-masked]>
Date: Wed, 02 Oct 2024 04:11:22 +0000

Hearing no more comments, I've pushed the latest patch with a slightly 
reworded description in commit b9f2ff6b8d361fa40f6db08378cb47afa2652c4e

Thanks for reviewing,
-- 
`~Eric