repair bug introduced in 71ec4ca7 (#826)

Joachim Wuttkerequested to merge
j.repair into main

This resolves #826 (closed).

Edited by Joachim Wuttke

Merge request reports