Skip to content

Resolve name clash with CodeQL defined UserDefinedLiteral#480

Merged
jketema merged 1 commit intogithub:nextfrom
jketema:udl
Jan 2, 2024
Merged

Resolve name clash with CodeQL defined `UserDefinedLiteral`#480
jketema merged 1 commit intogithub:nextfrom
jketema:udl

Commits

Commits on Jan 2, 2024