am 925e4a68: am 32e261b7: am d320a9a7: Fix generate-operator-out.py\'s copyright header.

* commit '925e4a68113eaf91702e602c8742458420cb7e69':
  Fix generate-operator-out.py's copyright header.