On 6/3/15, 9:59 AM, "Frédéric THOMAS" <webdoubl...@hotmail.com> wrote:

>I updated the dev branch 1 or 2 hours ago and had the same issue, will
>try to fix it later tonight before finishing FDB and merge the comipler
>part.

OK.  The CI server said the build of my changes passed.  So, when you are
ready feel free to merge or I can do it.  If build breaks after your merge
I can try to help fix it.

-Alex                                     

Reply via email to