@gilles, sorry if we discouraged you. IMO the patch was almost done, i'll take over if you want, but i don't think there was much work left
@gilles, sorry if we discouraged you. IMO the patch was almost done, i'll take over if you want, but i don't think there was much work left