@emilio
script: Optimize CompareDocumentPosition.
Unverified
This user has not uploaded their public key yet.
GPG key ID: 056B727BB9C1027C Learn about signing commits
4304a1d 
Signed-off-by: Emilio Cobos Álvarez <emilio@crisal.io>