# Copyright review of the diff between 0.1.12 and 0.1.13.