Follow-up Comment #3, task #12878 (project health): Thanks Cédric!
I just updated the code, using your suggestions. Here it is: http://hg.savannah.gnu.org/hgweb/health/rev/5975bdb2ad4b I think I fixed the constraint naming in this commit (?!): http://hg.savannah.gnu.org/hgweb/health/rev/df5a68e1a4db _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/task/?12878> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/
