Skip to content

Fix priority of application vs unary#11

Merged
tjdevries merged 1 commit intosourcegraph:mainfrom
semgrep:prio_app_unary
Dec 20, 2022
Merged

Fix priority of application vs unary#11
tjdevries merged 1 commit intosourcegraph:mainfrom
semgrep:prio_app_unary

Commits

Commits on Dec 15, 2022