vregistry.py
branch3.21
changeset 12837 d26dba971632
parent 8202 517fbaad0e6e