monnier pushed a change to branch new-master.

       was  cc9377c   * copyright_exceptions: Update

The revisions that were on this branch are still contained in
other references; therefore, this change does not discard any commits
from the repository.

Reply via email to