17 Oct
2022
17 Oct
'22
6:26 p.m.
On Mon Oct 17 18:26:07 2022 +0000, Henri Verbeet wrote:
The changes seem fine, but the commit message contains practically no information.
I am not sure what commit message I should add for this simple change. Feel free to modify the patch as you like.