29 Feb
2016
29 Feb
'16
7:19 p.m.
Hi,
On 29.02.2016 18:40, Matthias Fischer wrote:
Hi,
...
I *think* I fixed that in my branch when we talked about this the last time. Did you pull the changes from my repository?
Indeed I did, but you're right - I'll take a very close look at this!
It could be that I somehow got tricked by 'git stash'...
Ok, found it. Sorry - I GOT tricked by 'stash'. I integrated your patch, but somehow forgot to save it (send/push).
Work in progress.
Best,
Matthias