Sorry for the intrusion but the patch introduces a harmless compilation
warning under windows that can easily be removed with
-------------------------------------------------------------------------------
diff --git a/src/language/init.c b/src/language/init.c
index e6a9e1056..7c5e7f2f8 100644
--- a/src/language/init.c
+++ b/src/language/init.c
@@ -662,12 +662,6 @@ pari_mainstack_malloc(size_t s)
return malloc(s); /* NOT pari_malloc, e_MEM would be deadly */
}
-static void
-pari_mainstack_mfree(void *s, size_t size) { (void) size; free(s); }
-
-static void
-pari_mainstack_mreset(pari_sp from, pari_sp to) { (void) from; (void) to; }
-
static int
pari_mainstack_mextend(pari_sp from, pari_sp to) { (void) from; (void) to; return 0; }
-------------------------------------------------------------------------------