Renamed for consistency.

This commit is contained in:
Michael Lipp 2023-08-04 11:23:33 +02:00
parent e1c710d473
commit 96a5556939