tree ec23f353921968c456a2ee82522d3441cbef91a4
parent 8fcdb0b3231730b96a6e4f954e3490811a226192
author Ian Zerny <zerny@google.com> 1605092252 +0100
committer Ian Zerny <zerny@google.com> 1605199549 +0000

Make AndroidApiLevel an Ordered type.

Change-Id: I86f45dc9ad866df75c3b026fb2ea41447bb60756