Undefined index during code coverage merge#619

Closed

dekker-m wants to merge 4 commits intosebastianbergmann:masterfrom

dekker-m:master

Commits on May 20, 2018

Fix for merging dead code correctly
dekker-m
committed

Commits on May 21, 2018