Upgrade ubuntu to 17.10

Description

To use more recent mingw/g++

Status

Assignee

Grégory Van den Borre

Reporter

Grégory Van den Borre

Labels

Priority

Medium
Configure