Added tag 0.11.3.4 for changeset 1fe92d1838fb
Refactor header benchmark
Merge
Remove junk whitespace
Tidy up coding style
Simplify
Avoid use of O(n^2) nub
Eliminate some unnecessary boxing
Drop undesirable instances
Drop some more unwanted instances
Merge
Merge