Merge pull request #1235 from xianyi/revert-1233-cpuid-fix
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Wed, 12 Jul 2017 07:37:55 +0000 (09:37 +0200)
committerGitHub <noreply@github.com>
Wed, 12 Jul 2017 07:37:55 +0000 (09:37 +0200)
Revert "Fix unintentional fall-through cases in get_cacheinfo"


Trivial merge