Closed georgthegreat closed 1 year ago
@danpovey, while the conversation in #4716 continues, could you, please, take a look on this small fix?
This issue has been automatically marked as stale by a bot solely because it has not had recent activity. Please add any comment (simply 'ping' is enough) to prevent the issue from being closed for 60 more days if you believe it should be kept open.
I think this is fine. Thanks!
This continues the work started in #4809.