One of these is a bug:
Closes #1379 (closed) .
assigned to @nickm
requested review from @ahf
Looks good!
approved this merge request
merged
mentioned in commit 731371d9
