xmldiff #5617 xmldiff-xmlrev: compilation error [resolved]

xmldiff-xmlrev: compilation error: file /usr/share/sgml/stylesheet/xmldiff/xmlrev.xslt line 21 element attribute
prioritynormal
typebug
done in0.6.9
load3.000
load left0.000
closed by<not specified>