See !259 (closed)
CC @ahf
requested review from @dgoulet
approved this merge request
Very nice! Looks like it worked.
Thanks for dealing with the trouble here!
merged
mentioned in commit 063f3836
