[Tei-council] Next call: Monday, August 19

Dear all, Our next meeting is on Monday, August 19 (EDT 9:00-10:30, GMT 14:00-15:30, CEST 15:00-16:30). This is the agenda - please add topics: https://docs.google.com/document/d/1SwwoO1XHVGIvRsSOKov3fzz9qkhFnUg80BWrU_kj... Hugh, could you please start the call? If you have time, please have a look at the open tickets from the Washington meeting (see table in the agenda). Best, Martina