Probablement avant la prochaine release, ils n'ont pas l'air de nécessiter de grosses modifications, mais il faut que je vérifie ça justement et je n'ai pas que ça à faire.

Je ne vois pas pourquoi ça urgerait étant donné que la prochaine release n'est pas pour demain et étant donné que PedroM ne compilera de toute façon pas sans au moins un autre patch qui n'est pas prêt et que PpHd ne compte pas compléter (parce que la version incomplète qu'il a marche à peu près pour lui et qu'il s'en fout que la partie optimisation ne marche essentiellement pas du tout).