Backport of https://github.com/Semmle/ql/pull/1425#1429
Merged
felicitymay merged 2 commits intogithub:rc/1.21from Jun 10, 2019
Merged
Backport of https://github.com/Semmle/ql/pull/1425#1429felicitymay merged 2 commits intogithub:rc/1.21from
felicitymay merged 2 commits intogithub:rc/1.21from