Thanks Ton and Mario. I've accepted the pull request. I'm planning to do the 5.0.7 release tomorrow, so do pile in with any other quick fixes,
Best wishes Jeremy On Sat, Jan 25, 2014 at 9:09 PM, Ton Gerner <[email protected]> wrote: > Hi Mario, > > I don't know exactly how pull requests work, but I think you know what you > are doing ;) > > Thanks, > > Ton > > > On Saturday, January 25, 2014 10:05:19 PM UTC+1, PMario wrote: >> >> Hi Ton, >> I was about to push a mini pull request for a server ip fix. so I did >> include it. >> see: https://github.com/Jermolene/TiddlyWiki5/pull/359 >> >> Tell me if it is ok. >> >> -m >> > -- Jeremy Ruston mailto:[email protected] -- 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 post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/tiddlywiki. For more options, visit https://groups.google.com/groups/opt_out.
