tree 00cf7b98416d29dd926c448c7c171158d0118753
parent 3082aa69b7be2a2a0607441a7a2615d78aa983d7
parent 78f893bdbb1e4bf3e3eac41a59d39854b8045150
author Nico Weber <nicolasweber@gmx.de> 1481062830 -0500
committer GitHub <noreply@github.com> 1481062830 -0500

Merge pull request #1213 from nico/copying

replace copyright placeholder, fixes #1212