Subject: Re: [bug#40711] [PATCH] gnu: mu: Update 1.4.

From: Leo Famulari <[email-masked]>
Date: Sun, 19 Apr 2020 14:19:59 -0400

On Sun, Apr 19, 2020 at 11:44:22AM +0200, Pierre Langlois wrote:
> Hello Guix!
> 
> A new mu was just released! If you're using it, make sure to read the
> NEWS, some manual intervention is required to upgrade the database:
> https://github.com/djcb/mu/blob/master/NEWS.org#14-released-as-of-april-18-2020

The indexing and search part of it works for me!