# HG changeset patch
# User wenzelm
# Date 1620327274 -7200
# Node ID 3531d20cf2fd6b18c005ab7626d98148a2aa166d
# Parent  c88faa1e09e1f47a405357bc134320a1febe5e16
removed junk;

diff -r c88faa1e09e1 -r 3531d20cf2fd Admin/components/components.sha1
--- a/Admin/components/components.sha1	Thu May 06 20:43:12 2021 +0200
+++ b/Admin/components/components.sha1	Thu May 06 20:54:34 2021 +0200
@@ -14,6 +14,7 @@
 5c5b7c18cc1dc2a4d22b997dac196da09eaca868  bash_process-1.2.3-1.tar.gz
 48b01bd9436e243ffcb7297f08b498d0c0875ed9  bash_process-1.2.3.tar.gz
 11815d5f3af0de9022e903ed8702c136591f06fe  bash_process-1.2.4-1.tar.gz
+729486311833e4eff0fbf2d8041dddad520ca88c  bash_process-1.2.4-2.tar.gz
 7ae9ec8aab2d8a811842d9dc67d8bf6c179e11ee  bash_process-1.2.4.tar.gz
 9e21f447bfa0431ae5097301d553dd6df3c58218  bash_process-1.2.tar.gz
 a65ce644b6094d41e9f991ef851cf05eff5dd0a9  bib2xhtml-20171221.tar.gz
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