v1.23.2
Chris Gavin
@chrisgavin
bb44a76d
·
Merge pull request #3138 from jf205/recent-changes
·
Mar 27, 2020
Semmle 1.23.2 release.
