simplify linux icon names (#168596)
fixes #157390
J
João Moreno committed
9d01c6c5984c2be2d787f97eeca934ace38008a3
Parent: 4ccf2d7
Committed by GitHub <[email protected]>
on 12/9/2022, 2:05:09 PM
fixes #157390