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