2017-11-04 Thomas Koenig <tkoenig@gcc.gnu.org>