Hello, couple days ago I opened a Pull Request [1]. Is it done correctly? Has the core team recieved some notification about it?
Also, I opened a thread [2] in the Dev group previously, but nobody among core devs commented it, so I'm still not sure if there's any opinion regarding whether this should go to the core or not. (in the request, there are some extra differences, see also the comment on the page) Any comments? Best regards, Yakov. [1] https://github.com/TiddlyWiki/tiddlywiki/pull/112 [2] https://groups.google.com/forum/?hl=en.&fromgroups=#!topic/tiddlywikidev/yFNObuerUw8 -- You received this message because you are subscribed to the Google Groups "TiddlyWikiDev" group. To view this discussion on the web visit https://groups.google.com/d/msg/tiddlywikidev/-/w0hmUN86LV8J. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/tiddlywikidev?hl=en.
