1.0.2 protected

Giacomo Strangolino

@giacomo.strangolino

49ff7fa8 · fixed push button text · Oct 19, 2022

restored proper text on buttons