27 Jul
2018
27 Jul
'18
2:29 a.m.
On Thu, Jul 26, 2018 at 10:16:01PM +0200, Goldschmidt Simon wrote:
- Tom:
I don't know via which tree this would go in. I think you took the last env changes directly?
v1..v4 are detached threads, I can send you links if you need them.
It's on my TODO list to pick up, thanks!
--
Tom