_______________________________________________ Warzone-dev mailing list [email protected] https://mail.gna.org/listinfo/warzone-dev
I'm not sure whether there is a subtle difference between this ticket
and closed tickets #1900 and #1906.
