Subject: Re: bug#56898: [PATCH 00/13] Put the pretty printer to good use

From: Mathieu Othacehe <[email-masked]>
Date: Sun, 07 Aug 2022 12:50:42 +0200

Hey Ludo,

Wow, nice! I tested the installer part, everything seems to work fine
and the new comments are a welcomed addition.

Thanks,

Mathieu