Hello, crupest, le sam. 02 nov. 2024 21:58:44 +0800, a ecrit: > This a very trivial change. The former is just an alias of latter. > But for new users and contributors like me, it sometimes confuses > them what the difference is between the two ones. Is one old and the > other new?
No, sv is just a shortcut. > Or something confusing else. So this patch helps them > save some time. Ok, why not, applied, thanks! Samuel
