kore-0.19.0.0#1752

ttuegel merged 1 commit intoruntimeverification:masterruntimeverification/haskell-backend:masterfrom

ttuegel:release--0.19.0ttuegel/kore:release--0.19.0Copy head branch name to clipboard