Commit 9f0ec81c authored Mar 07, 2024 by vaclav

Merge branch '960-unused-function-syn_output' into 'main'

Resolve "Unused function syn_output()"

See merge request !1440