FWIW we are going to try very hard to have a bug fix 0.9.17 release in a few weeks, ideally for Hedgewars birthday on Halloween.
Minor release, but since it fixes a few issues in .16, it would break network play...
Sooo, given 11.10 release has gone ahead already, might be best to focus this "make an exception" energy for end-month. :)
FWIW we are going to try very hard to have a bug fix 0.9.17 release in a few weeks, ideally for Hedgewars birthday on Halloween.
Minor release, but since it fixes a few issues in .16, it would break network play...
Sooo, given 11.10 release has gone ahead already, might be best to focus this "make an exception" energy for end-month. :)