Merge pull request #418 from ARTbio/22.01_update_all

Update Artbio, conect, Mississippi[2]
ARTbio · Dec 22, 2022 · a379dde · a379dde
2 parents fae93a6 + 8d2f641
commit a379dde
Show file tree

Hide file tree

Showing 8 changed files with 304 additions and 179 deletions.
diff --git a/extra-files/Artbio/welcome.html b/extra-files/Artbio/welcome.html
@@ -31,6 +31,10 @@
         <!-- -->
         <div class="alert alert-success" style="margin-top: 0.5em">
             <div>
+                <p><h2>
+                The error reporting using automated emails has been fixed.
+                You can report your mistakes and encountered bugs again!
+                </h2></p>
                 <p>For better resilience to troubles, the deployment of the Galaxy server dedicated to our users is
                     automated using the <a href="https://github.com/ARTbio/GalaxyKickStart" target="_blank"> GalaxyKickStart Ansible Playbook</a>.
                 </p>