Changeset 14773

Timestamp:
Dec 13, 2022, 4:53:00 PM (3 years ago)
Author:
Gerhard Waldemair
Message:

fix #2335 - fix banner manager for sorting

(No files)

Note: See TracChangeset for help on using the changeset viewer.