Re: [Denemo-devel] Fwd: Re: Today's download: Tues 13 Feb appears to be broken

[Richard Shann]

On Fri, 2018-03-23 at 10:20 -0500, Jeremiah Benham wrote:
> Is there a better time for me to create this file? This is set to 5am
> on the server. That may be like midnight your time.
The time of day is just fine, what I am puzzled about is that it does
not appear to be using the latest sources. I've bumped the development
version so it should become quite clear tonight.

Richard