Modify NOTICES file as needed before or after merging.
assigned to @joos and unassigned @rhauser
merged
mentioned in commit 809d1e6a