Merge pull request #411 from azonenberg/counter-extraction-fixes
authorClifford Wolf <clifford@clifford.at>
Thu, 14 Sep 2017 19:44:26 +0000 (21:44 +0200)
committerGitHub <noreply@github.com>
Thu, 14 Sep 2017 19:44:26 +0000 (21:44 +0200)
Various improvements and bug fixes to extract_counter


Trivial merge