Merge #12075: [scripts] Add missing univalue file to copyright_header.py
commitc991b304dee368f506cfee27ddaa333f1f82c518
authorMarcoFalke <falke.marco@gmail.com>
Wed, 3 Jan 2018 15:02:55 +0000 (3 06:02 -0900)
committerMarcoFalke <falke.marco@gmail.com>
Wed, 3 Jan 2018 15:03:03 +0000 (3 06:03 -0900)
treeea7aaeeb2266a66d3a0830da9cf970884363dd61
parent5961b23898ee7c0af2626c46d5d70e80136578d3
parent415f86c6ae05a4d1d8160048e5fee19ed759ca39
Merge #12075: [scripts] Add missing univalue file to copyright_header.py

415f86c6ae [scripts] Add missing univalue file to copyright_header.py (fanquake)

Pull request description:

  This needs to be added so that PRs like #12062 don't modify the subtree.

Tree-SHA512: 3642bdb0c8271ae700857a79fa5800b0c26c4b3f126d4406f224293817fb74d498fa1fc581d576ae747fbbb6952d4369fc4ab823ab48fd0946c1e8ccbe93cee6
contrib/devtools/copyright_header.py