1.15.12 protected

Christian Würthner

@crysxd

3edf5f0e · Merge branch 'staging/1.15' into 'release/1.15' · Jun 20, 2022

Release: 1.15.12

- Fix scroll issue in terminal window