4 Oct
2015
4 Oct
'15
10:10 p.m.
On 10/4/15 2:36 PM, Hugh Cayless wrote:
I thought we’d decided to stick with pushing the files to SF for the near term at least?
I don't know what was decided, but note that if you want to maintain this, you can make it easy by configuring "GitHub release integration" on SourceForge: https://sourceforge.net/p/tei/admin/files/gh_integration --Kevin