Subject: [PATCH] gnu: dune: Update to 2.7.1.

From: Julien Lepiller <[email-masked]>
Date: Thu, 15 Oct 2020 18:04:11 +0200

Thank you, pushed as aea459a50474b98f31f6ce7da9468a98958ef949 to
339177956affdc471832750a3805b74356487e93 with Simon's remarks.