[Babel-users] Babel local-interface branch updated

[Juliusz Chroboczek]

Alex, Pejman,

(Writing in English, as babel-users is in CC.)

I've just brought the babel-local-interface branch up-to-date with the
trunk.  You may want to run darcs pull.

Regards,

                                        Juliusz