Skip to content

input-settings-x11: Push error trap

Florian Müllner requested to merge wip/fmuellner/missing-trap-push into master

Pops are lonely without push, so add one for a happy error trap.

Fixes #294 (closed)

Merge request reports