Subject: [bug#38603] branch master updated: gnu: Add mercury.

From: Tobias Geerinckx-Rice <[email-masked]>
Date: Fri, 24 Jul 2020 10:03:50 +0200

Brett,

[email-masked] 写道：
> On further investigation I can not reproduce this issue. Tobias, 
> what
> architecture are you working from,

World's most boring x86_64 box with plenty of free space.  I'll 
try it on my laptop.

> and what I am assuming this failed during the install phase?

Yep!

Kind regards,

T G-R