Diff pairing_heap-3.0.1 with a pairing_heap-3.0.1-r1

Thank you!