Re: [PyTone-users] Bug in config.py