guix-patches
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#55538: [PATCH] gnu: virtuoso-ose: Update to 7.2.7.

From: Roel Janssen
Subject: bug#55538: [PATCH] gnu: virtuoso-ose: Update to 7.2.7.
Date: Mon, 30 May 2022 09:09:49 +0200
User-agent: Evolution 3.44.1 (3.44.1-1.fc36) 
On Mon, 2022-05-30 at 09:21 +0300, Efraim Flashner wrote:
> Go ahead and sort the native-inputs alphabetically and it looks good to
> me!
> 

Thanks! I ordered the native-inputs alphabetically and pushed.

Kind regards,
Roel Janssen
reply via email to
[Prev in Thread] Current Thread [Next in Thread]