Subject: Re: option to ignore leading white space

From: Vincent Lefevre <[email-masked]>
Date: Wed, 24 Jul 2024 14:08:00 +0200

retitle 72274 diff: option to ignore leading white space
severity 72274 wishlist