Skip to content

Merge jt

Jan Trávníček requested to merge merge-jt into master

Few fixes in abstraction and small improvements (notable is the collapse of no-op determinization calls into a single registration, I'm curious how will this work in the webUI).

Edited by Jan Trávníček

Merge request reports