From: Jean Privat Date: Mon, 28 Sep 2015 14:35:40 +0000 (-0400) Subject: Merge: Fixes for ordered trees X-Git-Tag: v0.7.8~5 X-Git-Url: http://nitlanguage.org Merge: Fixes for ordered trees Some fixes related of the last changes Pull-Request: #1741 Reviewed-by: Alexis Laferrière Reviewed-by: Lucas Bajolet --- a06347f3e92a138fc376b86e0f8d80e442448d71