Committer for PR 239680, eclipse-4.12 update?

[Kurt Jaeger]

Hi!

> Nonetheless, I believe that eclipse 4.12 should be committed while I
> look for a solution.

Done.

-- 
pi at opsec.eu            +49 171 3101372                    One year to go !