[Tei-council] Jenkins build is back to normal : TEIP5-dev #2

31 Aug 2018


      See <https://teijenkins.hcmc.uvic.ca/job/TEIP5-dev/2/display/redirect?page=changes>

mholmes＠uvic.ca