tree f336b0a648a91026ea1006c84b4b9cef71d0373d
parent 337f13e448c18e0c9f65286a1c002d666d4914e4
author Luca Weiss <luca@z3ntu.xyz> 1543151232 +0100
committer Christopher H. <raymanfx@gmail.com> 1559944865 +0200

repopick: cmp() is not available in Python 3, define it manually

Change-Id: I16a89aa555e62f105d888e87cb43afd26606076b