Skip to content

Fixes suggested by Semmle#1068

Merged
david-puglielli merged 2 commits intomicrosoft:devfrom david-puglielli:semmel-fixesDec 18, 2019