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 > -- 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.

