coverage: 80.197%. remained the same
when pulling 1ee5937b2d62d5ffa1e84122dd6476cb3ec6097e on andy/fix-str-int-issue
into ff2bc23859fdaa83aa1b113ffb845a140c3ab590 on master.
coverage: 80.971% (+0.8%) from 80.197%
when pulling c8fbc8cbfccab81a1bca33da7991e3f25f198a36 on andy/fix-str-int-issue
into d57e431dba5ae79aae7476b041015974cf2ee234 on master.
coverage: 79.088% (-1.1%) from 80.197%
when pulling 7ab96c49db3362df39850051c116ed7855d89b93 on andy/fix-str-int-issue
into d57e431dba5ae79aae7476b041015974cf2ee234 on master.
For details, see the commit message.