# HG changeset patch
# User wenzelm
# Date 1714587980 -7200
# Node ID 825f35bae74b0d42eef442ad833cd85ff18cdffb
# Parent  dff9cf737a53c6e163a817c1cab0fbea33f718f2
provide 3.1 for testing (inactive);

diff -r dff9cf737a53 -r 825f35bae74b Admin/components/components.sha1
--- a/Admin/components/components.sha1	Wed May 01 20:12:58 2024 +0200
+++ b/Admin/components/components.sha1	Wed May 01 20:26:20 2024 +0200
@@ -100,6 +100,7 @@
 a3bebab5df4294dac2dd7fd2065a94df00e0b3ff e-2.6.tar.gz
 8744880925dbc95c3977f58b7d6da64a3bd6de6a e-3.0.03-1.tar.gz
 230d01c2c7274a17b6410535eb41665b16b41ae6 e-3.0.03.tar.gz
+4e436e450775bd971b3247c97d4bba7943ae4762 e-3.1.tar.gz
 239e7b8bebbfc29a1c5151e8fb261ffad44877f1 easychair-3.5.tar.gz
 4a3b4b4e0441c4498a0c71dc348f3538be589a15 eptcs-1.7.0.tar.gz
 6d34b18ca0aa1e10bab6413045d079188c0e2dfb exec_process-1.0.1.tar.gz