|
| From: | Julien Lepiller |
| Subject: | bug#43325: [PATCH] gnu: Update coq and its dependents |
| Date: | Mon, 14 Sep 2020 02:29:43 +0200 |
Le Sun, 13 Sep 2020 15:43:28 +0100, Robin Green <greenrd@greenrd.org> a écrit : > Updated patch, fixing a test that I mistakenly removed in the > previous version. > > Pushed as 1042d269a723360a02b19a2baafef1e24a3bfc73, thank you!
| [Prev in Thread] | Current Thread | [Next in Thread] |