I'm going to start to send out PRs to update the license headers and to
rename the Package names.

 I believe that the renaming should not pose a big trouble on the currently
opened PRs, since git is able to follow that without conflicts.

For the license headers, there might be some conflicts marked, but they
would be trivial to fix.

Matteo

Reply via email to