github_merge: use combined status (and be more useful)
[nit.git] / contrib / simplan / prob2.txt
2015-08-05 Jean Privatcontrib: add a simple planner that use lib/ai