Skip to content

Merge jt

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

A bit of cleanup in the abstraction code. Port of changes from new_normalization that are standalone.

Merge request reports