Subject: Re: [bug#33575] [PATCH] guix: lint: Add checker to check if inputs are sorted.
From: Arun Isaac <[email-masked]>
To: [email-masked]
Date: Wed, 19 Dec 2018 02:06:51 +0530
List-Id: <debbugs-submit.debbugs.gnu.org>

I'm closing this bug report since I believe we have reached a consensus
that this patch is unnecessary. Thank you all for your thoughts!