Skip to content

Merge 1.20 into master#1256

Merged
asger-semmle merged 2 commits into
masterfrom
rc/1.20
Apr 16, 2019
Merged

Merge 1.20 into master#1256
asger-semmle merged 2 commits into
masterfrom
rc/1.20

Merge pull request #1253 from asger-semmle/rc-tscrash

4e10e28
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs