Revision bdb8562e4407f5f11106258e50fc811296e18994

Committed on 20/05/2022 7:21 am by Philip Bauer <[email protected]> [GitHub Diff]

use high-dpi image