OSDN Git Service

Merge "Extend De Morgan factorisation to `HBooleanNot`." am: 0f638c6468
authorDavid Brazdil <dbrazdil@google.com>
Fri, 5 Feb 2016 17:25:10 +0000 (17:25 +0000)
committerandroid-build-merger <android-build-merger@google.com>
Fri, 5 Feb 2016 17:25:10 +0000 (17:25 +0000)
am: 49772e2c6b

* commit '49772e2c6b36107f0eadbd6c80092c789dced81a':
  Extend De Morgan factorisation to `HBooleanNot`.


Trivial merge