Corresponding MR in bob
bob
mentioned in merge request nightlies!45 (merged)
this is already in master
closed