Juerg Haefliger Tue, 01 Sep 2015 23:15:23 -0700
Thomas What's your take on this? If there's interest, I can refresh and resend my patches. Otherwise please go ahead and close the ticket.
Thanks ...Juerg