Subject: MariaDB reproducibility issue

From: Josh <[email-masked]>
Date: Mon, 27 Jan 2020 08:23:09 -0600

Hi Guix,                                                                                 
                                                                                         
I ran into this issue when building mariadb 10.1.38. I've attached the                   
last 300 lines of the log. Thanks