tree aa420cd854e42873957ae52f77e1a90b324e29f1
parent 73b2d73df8981e37a03dfdcf727d8bdafb019266
author Nick Wellnhofer <wellnhofer@aevum.de> 1436617654 +0200
committer Nick Wellnhofer <wellnhofer@aevum.de> 1436617654 +0200

Fix previous change to node sort order

Commit ba58f23 broke comparison of nodes from different documents.
Thanks to Olli Pottonen for the report.