merged local branch with remote

TopRichard · Sep 27, 2023 · 7380866 · 7380866
2 parents 7f8bd44 + 6e885b8
commit 7380866
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/eessi-2023.06-eb-4.7.2-2021a.yml b/eessi-2023.06-eb-4.7.2-2021a.yml
@@ -15,4 +15,7 @@ easyconfigs:
         options:
           download-timeout: 1000
   - libGLU-9.0.1-GCCcore-10.3.0.eb
+  - BAGEL-1.2.2-foss-2021a.eb:
+        options:
+          from-pr: 18446
   - WRF-4.3-foss-2021a-dmpar.eb