[c12772] Fix revision_nr.h