# HG changeset patch
# User paulson
# Date 1554820274 -3600
# Node ID 10fe23659be3f7303ae2144ad0fd4b10d6604e02
# Parent  23c0dfa39dced453d2e1252da94cba512f5c3aa9# Parent  eca8611201e9c4b4332640a15640e8398755e3ca
merged

diff -r eca8611201e9 -r 10fe23659be3 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Tue Apr 09 15:30:58 2019 +0100
+++ b/Admin/components/components.sha1	Tue Apr 09 15:31:14 2019 +0100
@@ -12,6 +12,7 @@
 97b2491382130a841b3bbaebdcf8720c4d4fb227  bash_process-1.2.2.tar.gz
 9e21f447bfa0431ae5097301d553dd6df3c58218  bash_process-1.2.tar.gz
 a65ce644b6094d41e9f991ef851cf05eff5dd0a9  bib2xhtml-20171221.tar.gz
+4085dd6060a32d7e0d2e3f874c463a9964fd409b  bib2xhtml-20190409.tar.gz
 f92cff635dfba5d4d77f469307369226c868542c  cakeml-2.0.tar.gz
 e7ffe4238b61a3c1ee87aca4421e7a612e09b836  ci-extras-1.tar.gz
 70105fd6fbfd1a868383fc510772b95234325d31  csdp-6.x.tar.gz
diff -r eca8611201e9 -r 10fe23659be3 Admin/components/main
--- a/Admin/components/main	Tue Apr 09 15:30:58 2019 +0100
+++ b/Admin/components/main	Tue Apr 09 15:31:14 2019 +0100
@@ -1,6 +1,6 @@
 #main components for everyday use, without big impact on overall build time
 bash_process-1.2.2
-bib2xhtml-20171221
+bib2xhtml-20190409
 csdp-6.x
 cvc4-1.5-4
 e-2.0-2