Skip to content

fix auto insertion warnings#638

Merged
mkurz merged 1 commit into
playframework:mainfrom
xuwei-k:apply-auto-insertion
Jul 5, 2025
Merged

fix auto insertion warnings#638
mkurz merged 1 commit into
playframework:mainfrom
xuwei-k:apply-auto-insertion

Commits

Commits on Jul 5, 2025