Admin/components/main
changeset 73891 3531d20cf2fd
parent 73856 328392479308
child 73899 9b4579e5bced
--- a/Admin/components/main	Thu May 06 20:43:12 2021 +0200
+++ b/Admin/components/main	Thu May 06 20:54:34 2021 +0200
@@ -1,6 +1,6 @@
 #main components for everyday use, without big impact on overall build time
 gnu-utils-20210414
-bash_process-1.2.4-1
+bash_process-1.2.4-2
 bib2xhtml-20190409
 csdp-6.1.1
 cvc4-1.8