@emilio
script: Early return in CompareDocumentPosition to deindent most of t…
Unverified
This user has not uploaded their public key yet.
GPG key ID: 056B727BB9C1027C Learn about signing commits
ccd469c 
…he function.

Signed-off-by: Emilio Cobos Álvarez <emilio@crisal.io>