K 10
svn:author
V 6
jdorje
K 8
svn:date
V 27
2004-08-27T17:36:54.000000Z
K 7
svn:log
V 188
Allow players to change governments repeatedly in the turn when a
revolution finishes.

Patch by me in PR#2327; this solves a problem reported by Christian Knoke.
This also fixes PR#9789.

END