Stable plugin is building on my Jenkins now with the new released stuff. Peter's Jenkins last build was done with: [echo] P5 stable release version is: 4.0.0 [echo] Stylesheets stable release version is: 7.49.0 so it probably needs kicking off again to pick up the new releases. Cheers, Martin On 2020-08-19 11:47 a.m., Hugh Cayless wrote:
Dear All, especially Martina who can now announce it,
We (Jessica, Nick, and I) have completed the release. You are free to commit to dev again. Thanks to all who dropped in on Slack to help out. The only remaining bits are the Oxygen plugin, which I can't build, and the Debian packages, because I was a bad release technician and forgot to ask Peter for the passphrase.
All the best, Hugh
_______________________________________________ Tei-council mailing list Tei-council@lists.tei-c.org http://lists.lists.tei-c.org/mailman/listinfo/tei-council
-- ------------------------------------- Humanities Computing and Media Centre University of Victoria mholmes@uvic.ca