merge with trunk (sound fade tweak, iOS changes)

Skip rerendering the caption if the text is unchanged. Scripts make heavy use of caption, often onGameTick

Make server know release version

these flakes are supposed to look like silvery edges of dark stuff in background, so look odd unflattened

this one should not be delayed

be more gentle when you stop channels at the end of the game

merge sound changes into .17, and, why not everything else too.

fix accessing a released object

My understanding from unc0rr is that as long as trunk and .17 are in sync, they maintain the protocol number. Once they desync, trunk gets a new one

Use -1 to clear all channels before playing victory sound

modify ReleaseSound so that it performs a partial release of unused sounds, useful for responding to memory warnings

Merge .17 and trunk

Clear all other sounds before playing flawless victory / victory

stray "

oops

Something

Release?

Introduce initialization expressions

RELEEEEEEEEEASE

restore displaying statistics at the end of a game and restore warning lower views that they are going to appear

pt update

This should not be in the unplaced section

new download manager \o/

Correct outdated feedback. Move mudball into utility bundle.

Added a minimal data dir, we should move this to hedgewars/share sometime

Make AI avoid barrels the more they are damaged

merge

pl update

iOS works again (also native touch interface \o/)

first part of the new downloader implementation