Merge remote-tracking branch 'ding2tal/development' into ding2tal
Merge branch 'ding2tal' into develop
Removed make-file.
Merge branch 'develop'
Release: v1.12
Updated makefile to point to ding2tal
Merge remote-tracking branch 'artesis/master' into development
Re-added makefile after merge
Merge remote-tracking branch 'origin' into release