Subject: bug#71952: documentation inaccuracy?

From: jgart <[email-masked]>
Date: Sat, 06 Jul 2024 08:33:47 -0500

hi chris,

would you like to send a patch fixing this?

hi simon,

wdyt?
-- 
all the best,
jgart