Hi Jeremy, Thanks.
I see a typo in the title of this post (5.1.20 instead of 5.1.22) but I don't know how to change the title. Any idea? Cheers, Ton On Monday, March 30, 2020 at 9:26:31 PM UTC+2, Jeremy Ruston wrote: > > Hi Ton > > It was a typo on my part, now fixed, > > Many thanks, > > Jeremy > > On 30 Mar 2020, at 20:23, Jeremy Ruston <jeremy...@gmail.com <javascript:>> > 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 <ton....@gmail.com <javascript:>> > 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 >> >> 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/ > > 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/? > > 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 tiddl...@googlegroups.com <javascript:>. > 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 tiddlywiki+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/tiddlywiki/2c78f3ab-82f6-4f49-b2f1-635b05a24b34%40googlegroups.com.
