am 93ee4913: am f3b60d2f: Merge "Fix a bug where the max blowup of annotations was incorrect."
Jean-Philippe Lesot authored
* commit '93ee4913':
  Fix a bug where the max blowup of annotations was incorrect.
b760cb53