# HG changeset patch
# User wenzelm
# Date 1558951516 -7200
# Node ID 9f3441164e9255b1a7c6e7e444c3c5c1d6697b98
# Parent  0cfc4fa71d1b3490c8a363fed4cecf05d3980c4d
updated to bash_process-1.2.3: rebuild on current reference PLATFORMS;

diff -r 0cfc4fa71d1b -r 9f3441164e92 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Sat May 25 14:13:46 2019 +0200
+++ b/Admin/components/components.sha1	Mon May 27 12:05:16 2019 +0200
@@ -10,6 +10,7 @@
 bb9ef498cd594b4289221b96146d529c899da209  bash_process-1.1.tar.gz
 81250148f8b89ac3587908fb20645081d7f53207  bash_process-1.2.1.tar.gz
 97b2491382130a841b3bbaebdcf8720c4d4fb227  bash_process-1.2.2.tar.gz
+48b01bd9436e243ffcb7297f08b498d0c0875ed9  bash_process-1.2.3.tar.gz
 9e21f447bfa0431ae5097301d553dd6df3c58218  bash_process-1.2.tar.gz
 a65ce644b6094d41e9f991ef851cf05eff5dd0a9  bib2xhtml-20171221.tar.gz
 4085dd6060a32d7e0d2e3f874c463a9964fd409b  bib2xhtml-20190409.tar.gz
diff -r 0cfc4fa71d1b -r 9f3441164e92 Admin/components/main
--- a/Admin/components/main	Sat May 25 14:13:46 2019 +0200
+++ b/Admin/components/main	Mon May 27 12:05:16 2019 +0200
@@ -1,5 +1,5 @@
 #main components for everyday use, without big impact on overall build time
-bash_process-1.2.2
+bash_process-1.2.3
 bib2xhtml-20190409
 csdp-6.x
 cvc4-1.5-4