[Babel-users] Heads up: babel-local-interface merged into trunk

[Juliusz Chroboczek]

I've just merged the babel-local-interface branch into the trunk.

Alex, Pejman, this means that you should switch to the babel
repository, and no longer work on the local-interface branch.
Just do

   rm _darcs/prefs/defaultrepo
   darcs pull http://www.pps.jussieu.fr/~jch/software/repos/babel

For anyone else, nothing should change.  The truly paranoid may want
to build with EXTRA_DEFINES=-DNO_LOCAL_INTERFACE.  People building for
embedded systems shouldn't care -- it's just a couple of kilobytes more.

                                        Juliusz