Merge pull request #3776 from mikdusan/stage1-intern-housekeeping

stage1: fix bad intern counting
f96d818770Michael Dusan committed on 11/26/2019, 4:12:55 AM· committed by GitHubparentsc0cb676d20df7d
1 file changedLine totals unavailable