Pipelines · Merge branch 'api' into 'master' (4a8dbe51) · Commits · LeGTVaR / KAFE

Commit 4a8dbe51 authored Apr 09, 2023 by Adam Štěpánek

Fix several bugs in API

See merge request lemma/kafe!18