[coreboot-gerrit] Change in coreboot[master]: Documenation/conf.py: Make sure release is a string