20Nov09 version files changed by 21Nov09 patch:

tools/python/pizza/dump.py
tools/python/pizza/log.py