Skip to content
Commit 445752c9 authored by Andreas Klöckner's avatar Andreas Klöckner
Browse files

Merge branch 'mempool-leading-bits' into 'master' 

Make leading bits used by mem pool configurable, document

See merge request inducer/pyopencl!80
parents 6d2aca5a 5854a211
Pipeline #16570 passed with stage
in 13 minutes and 13 seconds