Patch updates#981

Merged

mkurz merged 1 commit into

playframework:mainfrom

scala-steward:update/patches

Aug 6, 2025

Mergify / Rule: Delete the PR branch and remove label after merge/close (delete_head_branch) succeeded Aug 6, 2025 in 0s

Pull request come from fork

View more details on Mergify