|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 <email@example.com> 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]|