v9.0.1333
6b066c6d · patch 9.0.1333: when redo'ing twice <ScriptCmd> may not get the script ID ·