From 9418ba19ed32651e79d5a12e148247ae2b7e5c79 Mon Sep 17 00:00:00 2001 From: TopRichard Date: Tue, 5 Sep 2023 15:53:47 +0000 Subject: [PATCH] Added --from-pr 18348 --- eessi-2023.06-eb-4.7.2-2021a.yml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/eessi-2023.06-eb-4.7.2-2021a.yml b/eessi-2023.06-eb-4.7.2-2021a.yml index 919e02f460..d6acc79b33 100644 --- a/eessi-2023.06-eb-4.7.2-2021a.yml +++ b/eessi-2023.06-eb-4.7.2-2021a.yml @@ -13,4 +13,6 @@ easyconfigs: # see https://github.com/easybuilders/easybuild-easyconfigs/pull/18087 options: from-pr: 18087 - - Arrow-6.0.0-foss-2021a.eb + - Arrow-6.0.0-foss-2021a.eb: + options: + from-pr: 18384