ref: bb14689b4a555b4b176192d2c3cd02a4c354a37f
parent: bf696f83fc8076e748c04a53f425aa29d78c020d
author: Simon Tatham <anakin@pobox.com>
date: Sun Mar 31 05:58:52 EDT 2013
Introduce a mechanism by which calls to midend_supersede_game_desc() can trigger a call to a front end notification function. Use this to update the game ID permalink when Mines supersedes its game ID. [originally from svn r9793]