Rename for clarity

This commit is contained in:
erik 2024-05-17 11:29:48 +02:00
parent 02b6af0e91
commit eb78652718