Subject: [PATCH] gnu: Add python-redo.

From: "jgart" <[email-masked]>
Date: Wed, 12 Jul 2023 06:24:41 +0000

Hi Adam,

Thanks for the patch. APPLIED.

all best,

jgart