Subject: Re: bug#51878: [PATCH] installer: Rework installation device detection
From: Mathieu Othacehe <[email-masked]>
To: Josselin Poiret <[email-masked]>
Cc: [email-masked]
Date: Fri, 26 Nov 2021 10:53:07 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

Hey,

> I agree that this reads better!  Feel free to push with those changes.

Pushed as b90504cdb5ce3d1981c8d7bc8a9cc918b0d60af7.

Thanks,

Mathieu