The last commit (just documentation) has been reported by Travis as "Build Errored", which I'm guessing means some problem with their machines. Do I have to do anything, or will it re-try? As we are getting close to a release, I want to avoid any uncertainty right now.
Richard _______________________________________________ Denemo-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/denemo-devel
