Tiled 1.0.2 released

More bugs were fixed since Tiled 1.0.1, including a hang when pasting a tile stamp and then using the fill tool, so upgrading is recommended! Also, by popular demand the properties of selected tiles and terrains are once again visible while editing maps, albeit read-only.

This is a companion discussion topic for the original entry at http://www.mapeditor.org/2017/06/27/tiled-1-0-2-released.html