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 _______________________________________________ Denemo-devel mailing list Denemo-devel@gnu.org https://lists.gnu.org/mailman/listinfo/denemo-devel
