Closed jakublaz closed 7 months ago
its ok to merge
Also, do we need PRs for such small changes? I think its better to make a PR when a bigger chunk of code is done, otherwise the change does not have any impact.
its ok to merge
Also, do we need PRs for such small changes? I think its better to make a PR when a bigger chunk of code is done, otherwise the change does not have any impact.