On Wed, Jan 16, 2013 at 4:49 PM, Stuart Henderson <s...@spacehopper.org> wrote: > On 2013/01/16 15:44, Florian Obser wrote: >> My understandig is that zip downloads from github are not stable. I >> cloned the repo and used the day of the clone as version number. Is >> that correct? Or is it preferred to use the date of the last commit? > > I always use the date of the last commit for these.
Yes. This is our usual "policy". Ciao, David
