Hi, Esr has just announced on IRC he's ready to migrate our repository to GitHub. This means all commits done after this moment (22:07 GMT+2) will not be moved to GitHub. So please no more commits until the move is completed. If you commit to SF you'll need to move your commit yourself.
-- Regards, Mark de Wever aka Mordante/SkeletonCrew _______________________________________________ Wesnoth-dev mailing list Wesnoth-dev@gna.org https://mail.gna.org/listinfo/wesnoth-dev