2017-12-09 Thomas Koenig <tkoenig@gcc.gnu.org>