It looks like Kris marked his PR as merged, but I ...
# general
b
It looks like Kris marked his PR as merged, but I don't see it on master