FWIW, I solved the problem by simply (!) rebuilding my repository with dump/restore. Of course this is my own repository and I can do what I like to it, that's not a general solution.
FWIW, I solved the problem by simply (!) rebuilding my repository with dump/restore. Of course this is my own repository and I can do what I like to it, that's not a general solution.