Hi David,
ok, no rush from my side, it's better to avoid merges as much as possible.
thanks.
/pierre
On Tue, Dec 18, 2012 at 1:18 AM, David Jencks david_jen...@yahoo.comwrote:
It's a mistake. It's long gone in my github branch. I blame
autocompletion :-).
I'd prefer to just let my branch
It's a mistake. It's long gone in my github branch. I blame autocompletion
:-).
I'd prefer to just let my branch fix it when I commit, but if you want to fix
it now I don't think it would cause any serious merge problems.
thanks
david jencks
On Dec 17, 2012, at 9:19 AM, Pierre De Rop wrote: