I noticed: summary | shortlog | log | commit | commitdiff | tree (parent: 7f49e7a) | patch
we need to review this - I am fairly sure there are two cases and this fixes one and breaks the other. Richard _______________________________________________ Denemo-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/denemo-devel
