Revision 4fbfdab09d8b5c46fa458ce909a112c4981c49e9

Committed on 13/09/2022 12:56 am by Luca Realdi <[email protected]> [GitHub Diff]

Bugfix in multi list subscription