Nice to hear it is already taken care of, thank you.
I was almost on my way to make a pull request myself, as an exercise in contributing to an open source project, but I am not sure about the customs, if I should create an issue first.
Of curiosity, may I ask why you chose "dddd" as the token for week date number, instead of the "D" symbol used in the ISO 8601 formats notation?
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+...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/tiddlywiki/4101de67-bd22-489b-bdd7-3b98ab99be3fn%40googlegroups.com.
Now that I started to write out the rationale for the choice of "dddd", I'm realising that perhaps I think "dd" might be a better choice. What do others think?
If we stick with `dddd` for day of week, perhaps we'd use `ddddd` for day of year?
Perhaps that's excessively long, but it does seem like a very unusual requirement in any case; only users who were looking for it would want it, if you see what I mean.
> I think 0dd and dd should be an option. I think 0dd is needed to get easy default sort order.The day of week is a number from 1 to 7, so zero padding doesn't seem useful.