shirriff/Arduino-IRremote — pull request #85 by Informatic (2014-09-17 21:19:01+00:00)
Title: TIMER4 Arduino Pro Micro compatibility

Change PWM pin 13 (OC4A) to pin 10 (OC4B) on ATmega32u4-based Arduino. Pin 13 is not broken out on Arduino Pro Micro.

Keep in mind that it will probably break compatibility with some existing applications. It's up to maintainer to merge it or not.