v4.15.2
fdfe9310 · Merge branch 'fix-spurious-patch-fails-involving-large-numbers' into 'v4' ·