Sweeping !1413 from master to devel: ProductionManagement fix: a slightly more informative PR email (!1415) · Merge requests · LHCb Dirac / LHCbDIRAC · GitLab

LHCbDIRAC Bot requested to merge cherry-pick-d94e04a3c-devel into devel Aug 09, 2023

BEGINRELEASENOTES

*ProductionManagement FIX: a slightly more informative PR email

ENDRELEASENOTES