Bugfix/Issue 1930: Fixed type from char to int#1932

klayoutmatthias merged 1 commit intoKLayout:masterKLayout/klayout:masterfrom

martinjankoehler:bugfix/issue-1930martinjankoehler/klayout:bugfix/issue-1930Copy head branch name to clipboard