https://github.com/inducer/pyopencl/issues/274
enabled an automatic merge when the pipeline for 83888226 succeeds
mentioned in commit 611daf3f
merged