diff --git a/eessi-2023.06-eb-4.7.2-system.yml b/eessi-2023.06-eb-4.7.2-system.yml
index fe9018b8c0..220fd82e87 100644
--- a/eessi-2023.06-eb-4.7.2-system.yml
+++ b/eessi-2023.06-eb-4.7.2-system.yml
@@ -1,5 +1,7 @@
 easyconfigs:
-  - ReFrame-4.2.0
+  - ReFrame-4.2.0.eb:
+      options:
+        from-pr: 18320
   - EasyBuild-4.8.0.eb:
       options:
         from-pr: 18282