v8.0.0514
980128c3 · patch 8.0.0514: script for creating cmdidxs can be improved ·