Skip to content

Merge jt - various fixes and improvements

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

Most important changes: complete drop use of enable_if, count -> contains at some places, some algoritmic simplifications.

Merge request reports