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