diff -r c88faa1e09e1 -r 3531d20cf2fd Admin/components/main
--- 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