Alrighty... Try this.
enabled an automatic merge when the pipeline for 2a8b688e succeeds
canceled the automatic merge
added 1 commit
Compare with previous version
merged
mentioned in commit 82ec807c
@andre.anjos I merged this into master without testing. Now master is broken. Could you please push a fix directly to master?
I'm a tidy busy right now... It will be after 16h00.
ok later is fine too.
