Merge branch 'coverage-no-context' (pull request #102)

This commit is contained in:
Sebastian Pipping 2017-07-27 19:55:14 +02:00
commit 6a8267696c

File diff suppressed because it is too large Load Diff