Skip to content

Allow @ sign in @server_default annotation#5664

Merged
pquentin merged 3 commits intomainfrom
server-default-at-sign
Nov 14, 2025
Merged

Allow @ sign in @server_default annotation#5664
pquentin merged 3 commits intomainfrom
server-default-at-sign

Commits

Commits on Nov 13, 2025