Subject: Re: [bug#52425] [PATCH] gnu: sbcl-aserve: Add HTML5 elements to htmlgen.
From: Guillaume Le Vaillant <[email-masked]>
To: Foo Chuan Wei <[email-masked]>
Cc: [email-masked]
Date: Sun, 12 Dec 2021 09:26:48 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

Patch pushed as d1072f21ba446fe470b171575f5e3202aef17a04 with shorter
names for the patches, and I also added them to the 'dist_patch_DATA'
list of patches in "gnu/local.mk".
Thanks.