Closed pdewouters closed 3 years ago
I merged it by mistake when I was looking at it. I am sorry. I have taken it back.
Maybe we should require approvals of pull requests here as an additional sanity check?
Though it’s a small team and limited number of contributors to this repo though, so, maybe not worth it....
I merged it by mistake when I was looking at it. I am sorry. I have taken it back.