Merge pull request #13091 from Vexu/small-proposals

Implement some small proposals
1f8ae10a38Veikka Tuominen committed on 10/10/2022, 9:26:56 PM· committed by GitHubparentsdacdc954a6cc1c
22 files changedLine totals unavailable