vregistry.py
branch3.22
changeset 11434 f6ba947c11ee
parent 8202 517fbaad0e6e