Hi Santiago, Am Wed, Sep 24, 2025 at 12:55:24AM +0200 schrieb Santiago Vila: > Andreas: You did the last upload, but it was a long time ago, so instead > of asking you to push missing commits, which would not be practical, > I'm going to create a "fake" history to reach version -5 before > incorporating the changes from Adrian.
Well done and sorry for forgetting to push.
Kind regards
Andreas.
--
https://fam-tille.de
