Unless there are objections, I'm going to try releasing 5.1.13 today or tomorrow. There have been quite a few bug fixes and it's been 3 months since 5.1.12, so it seems like a good time to do so.

-SL

_______________________________________________
Allegro-developers mailing list
[email protected]
https://mail.gna.org/listinfo/allegro-developers

Reply via email to