[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#43278: [PATCH] gnu: coq-stdpp: Update to 1.4.0.
|
From: |
Efraim Flashner |
|
Subject: |
bug#43278: [PATCH] gnu: coq-stdpp: Update to 1.4.0. |
|
Date: |
Tue, 8 Sep 2020 15:53:19 +0300 |
Looks good. Patch pushed!
--
Efraim Flashner <efraim@flashner.co.il> אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted
signature.asc
Description: PGP signature