#9407: document configparser.Error.
1 file changed