game remains on priority for a player who quit

Guy left the game by disconnecting rather than conceding while he had priority in declare blockers:

The game is now stuck waiting for the player who has left. Calling fix command doesn't help (nor did clicking avatar), output from fix command:

FIX command called by johnmeat Game ID: 368d4be7-ab9e-44cb-ad4a-b2b764dcc441 Phase: Combat Step: Declare Blockers Players ping:
* HugoEgonWalter: 35ms (avg: 92ms) (online: 0:43; seen: 18 sec ago)
* johnmeat: 182ms (avg: 63ms) (online: 0:44; seen: 3 sec ago)
* treewitch: Offline Fixing active player: johnmeat (OK, can respond)
Fixing choosing player: none (OK, no player)
Fixing priority player: HugoEgonWalter (OK, can respond) Fixing future timeout: cancelled?=false...done?=false...getDelay?=299 (OK, delay > 25) Applied fixes: none

Can anything be done to remove priority from a player who is no longer part of the game?