Closed radcortez closed 2 months ago
@radcortez Why was this merged? Did someone approve it?
We discussed the PR during two meetings, and I thought there were no objections to what was being proposed. Sorry for moving ahead; I wanted to have the code merged so I could keep moving forward with some consistency work and other proposals that impact the general codebase.
Feel free to point out any issues and I'm happy to fix them in another PR.
@radcortez Why was this merged? Did someone approve it?