Martin Steigerwald - 16.07.24, 17:08:42 CEST: > Ben Hutchings - 16.07.24, 15:20:23 CEST: > > Sorry for not responding to this earlier. > > > > I've finally uploaded an update to (nearly) the current version. This > > incorporates some of Diederik's work, but I also made changes that > > should reduce the amount of manual effort required for future updates. > > Thank you, Ben!
Also of course thanks to Diederik. I appreciate it! Thanks to everyone involved. -- Martin
