For something like this you might want to just do it and send a PR, it sounds pretty reasonable so I don’t think you’ll have much trouble getting it merged ![]()
Yeah, I think it’s fine to merge it in as long as we have some code to look at ![]()
For something like this you might want to just do it and send a PR, it sounds pretty reasonable so I don’t think you’ll have much trouble getting it merged ![]()
Yeah, I think it’s fine to merge it in as long as we have some code to look at ![]()