Hello up there.
I've noticed that wendelin.core tests became failing to build and automatically disabled some time ago. Not good. I've tried to fix build failures. Please see individual patches for details.
/cc @levin.zimmermann, @jerome
This will create a new commit in order to revert the existing changes.
