Merge develop to master. (!18) · Merge requests · Syntactic Tools / combo

Merged Mateusz Klimaszewski requested to merge develop into master 4 years ago

Status	Pipeline	Created by	Stages	Actions
Passed 00:03:34 4 years ago	Disable tests which doesn't work on gitlab ci. #2248 develop 77ef5890		Stage:	No artifacts found

Merge develop to master.