Thank you so much! It works like a charm, and moreover it fixed the problem I mentioned here, which was caused (I think) by the rather brutal way in which I had tried to delete the history.
1 Like
Thank you so much! It works like a charm, and moreover it fixed the problem I mentioned here, which was caused (I think) by the rather brutal way in which I had tried to delete the history.