update to tycho 1.4

created merge request !42 (merged) to address this issue

By Dominique Marcadet on 2019-04-05T14:06:12 (imported from GitLab project)

mentioned in merge request !42 (merged)

By Dominique Marcadet on 2019-04-05T14:06:12 (imported from GitLab project)

closed via merge request !42 (merged)

By Dominique Marcadet on 2019-04-05T14:13:08 (imported from GitLab project)

mentioned in commit 3f1559d1

By Dominique Marcadet on 2019-04-05T14:13:08 (imported from GitLab project)