Adapt PR 127 to smarter-dot-products branch#129

HEnquist wants to merge 3 commits intosmarter-dot-productsHEnquist/rubato:smarter-dot-productsfrom

smarter-dot-products_and_performanceHEnquist/rubato:smarter-dot-products_and_performanceCopy head branch name to clipboard