On Wed, Oct 31, 2012 at 11:09 AM, Scott Kostyshak <skost...@lyx.org> wrote: > OK it's in. Let me know if there's anything else I can do on this. > Could we also have the GIT hash information here? It would be very useful for the daily builds on the PPA, as time alone is an imperfect indicator.
Liviu
