[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug#38106] [PATCH] gnu: mrustc: Update to 0.8.1.

From: Danny Milosavljevic
Subject: [bug#38106] [PATCH] gnu: mrustc: Update to 0.8.1.
Date: Tue, 21 Jan 2020 17:47:16 +0100

Apparently it wasn't pushed successfully before, so pushed now.

Pushed to guix staging as commit 6839095af7f6c8a8d5ad481db22cd4ece0a1b5e3
after extensive testing on bayfront.

Commit b07384b5647057a67cd46109bd0272a195165855 cleans up mrustc a bit.

Attachment: pgpmnTzLerdk9.pgp
Description: OpenPGP digital signature

reply via email to

[Prev in Thread] Current Thread [Next in Thread]