Hi Ton It doesn't look like I can change the title either, I'm afraid,
Best wishes Jeremy On Monday, March 30, 2020 at 8:34:50 PM UTC+1, Ton Gerner wrote: > > 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 <[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]> 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 [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/9dccc006-9634-48a3-b82e-ec93e94fdbaf%40googlegroups.com.
