Closed egonelbre closed 8 years ago
It seems that this actually wasn't merged in.
Weird. I wonder if I just closed it without first doing the merge. This time I was careful to do the merge…
Den 07/03/2016 kl. 08.08 skrev Egon Elbre <notifications@github.com mailto:notifications@github.com>:
It seems that this actually wasn't merged in.
— Reply to this email directly or view it on GitHub https://github.com/jcoplien/trygve/pull/95#issuecomment-193132981.
Thanks, Egon.