Fixed thanks to g++-9.1
enabled an automatic merge when the pipeline for 8d12ca09 succeeds
merged
mentioned in commit 5d217433