Resolve "update to changes in Main"

Closes #18 (closed)

added 1 commit

• f6cf74e8 - updates to changes in Main

Compare with previous version

By Dominique Marcadet on 2019-05-13T12:58:09 (imported from GitLab project)

unmarked as a Work In Progress

By Dominique Marcadet on 2019-05-13T12:58:46 (imported from GitLab project)

mentioned in commit 719231e5

By Dominique Marcadet on 2019-05-13T12:58:51 (imported from GitLab project)

merged

By Dominique Marcadet on 2019-05-13T12:58:52 (imported from GitLab project)