Ryan, sorry I didn’t see this before:
>> grass: jump to 7.2RC2 (dubbed 7.1.99.2) > > Does upstream also refer to 7.2.0RC2 as 7.1.99.2, or is that something you > made up? If the latter, why? No, upstream’s name is RC2. But 7.1.99.2 would easily upgrade to 7.2.0 when it is released, whereas I’m unsure what version number I should use, should I decide to keep the RC denomination. If there’s a definite policy here, please let me know, I’ll be happy to implement it. Happy Christmas Ryan! Vincent