Diff libvpx-1.12.0-r1 with a libvpx-1.13.0

Thank you!