Skip to content

C#: Dispatch.qll performance tweaks#1053

Merged
calumgrant merged 3 commits intogithub:rc/1.20from
hvitved:csharp/dispatch-tweak
Mar 7, 2019
Merged

C#: Dispatch.qll performance tweaks#1053
calumgrant merged 3 commits intogithub:rc/1.20from
hvitved:csharp/dispatch-tweak

Commits

Commits on Mar 6, 2019