28 Jan
2019
28 Jan
'19
1:39 a.m.
*I* did not make a Stylesheets release branch, and would not intend to unless directed to do so by either the chair or the release techs.
Usually there was a release branch for the Stylesheets as well. Right now, I updated the Jenkins release jobs for the Guidelines to 3.5.0, using the *dev* branch of the Stylesheets. If you added a release branch for the Stylesheets, I’ll switch to that. See https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fjenkins.tei...