Closed torkleyy closed 6 years ago
r? @WaDelma
bors r=WaDelma
Oops, I wanted to delegate to you @WaDelma :(
Please review it post-merge.
Seems fine. I was going to do the update soon too.
r? @WaDelma
bors r=WaDelma