Master merge jt (!106) · Merge requests · Algorithms Library Toolkit / Algorithms Library Toolkit Core · GitLab

Jan Trávníček requested to merge master-merge-jt into master Oct 08, 2019

closes #166 (closed) and #163 (closed)