Skip to content

Merge jt

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

Various changes that rested in the new_normalization branch and are not related to new normalization or the relation is relatively loose.

Edited by Jan Trávníček

Merge request reports