Maybe we could open a pull request on Git?
I’ve never done one before.
What would be the objective, and would it have any effect on bringing the issue to the attention of the devs w.r.t. a resolution?
Maybe we could open a pull request on Git?
I’ve never done one before.
What would be the objective, and would it have any effect on bringing the issue to the attention of the devs w.r.t. a resolution?