Changeset 13085

Timestamp:
Dec 15, 2020, 7:13:41 PM (5 years ago)
Author:
Torsten Riemer
Message:

addition on r13081 (fix #1047 - update banner manager)

(No files)

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