Subject: [PATCH] gnu: mu: Update to 1.8.7.

From: Ricardo Wurmus <[email-masked]>
Date: Mon, 01 Aug 2022 16:05:09 +0200

Applied with commit 7e3234cb709076c8f4514f8b9320a0585dd9c958.

I made a few changes while you were worknig on v2 and v3, so the result
is an amalgamation of these patches.

-- 
Ricardo