Hi Ton It was a typo on my part, now fixed,
Many thanks, Jeremy > On 30 Mar 2020, at 20:23, Jeremy Ruston <[email protected]> wrote: > > Hi Ton, > > Thank you, I can confirm that there’s some problem with the extraction > process, perhaps a regression. I’m investigating, > > Best wishes > > Jeremy > >> On 30 Mar 2020, at 19:46, Ton Gerner <[email protected] >> <mailto:[email protected]>> wrote: >> >> Hi Jeremy, >> >> >> On Monday, March 30, 2020 at 8:12:36 PM UTC+2, Jeremy Ruston wrote: >> Hi Ton >> >> I just processed that update but found that there are no changes since the >> previous update that I processed on September 11th last year: >> >> https://github.com/Jermolene/TiddlyWiki5/commit/b44dc39299d0f110186c16218f7546492bb66f94#diff-a01d74eb533b08a1ca6c1feb6582b767 >> >> <https://github.com/Jermolene/TiddlyWiki5/commit/b44dc39299d0f110186c16218f7546492bb66f94#diff-a01d74eb533b08a1ca6c1feb6582b767> >> >> I just wanted to check whether I missed anything? >> >> That is strange. I did upload a version - based on the prerelease v5.1.22 - >> with 18 (of 948) changes. As far as I can see that version is available at >> http://tw5dutch.tiddlyspot.com/ >> <http://tw5dutch.tiddlyspot.com/> >> >> I even corrected a typo in the version of 11 september last year. >> >> Don't you see: 'Number of translated tiddlers: 18 of 948' at >> http://tw5dutch.tiddlyspot.com/ <http://tw5dutch.tiddlyspot.com/>? >> >> Cheers, >> >> Ton >> >> >> -- >> You received this message because you are subscribed to the Google Groups >> "TiddlyWiki" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to [email protected] >> <mailto:[email protected]>. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/tiddlywiki/943f6fa4-0e41-4d76-8f27-7039edc27ec8%40googlegroups.com >> >> <https://groups.google.com/d/msgid/tiddlywiki/943f6fa4-0e41-4d76-8f27-7039edc27ec8%40googlegroups.com?utm_medium=email&utm_source=footer>. > -- You received this message because you are subscribed to the Google Groups "TiddlyWiki" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/tiddlywiki/66361F9C-8463-423B-BCEF-6AAA3C740203%40gmail.com.
