pololu/Dual-VNH5019-Motor-Shield — pull request #2 by blacksound (2013-07-08 18:12:17+00:00)
Title: Added ATMega32U4 for timer1 pwm

Hi,
I'm using this small edit to get 20kHZ PWM for Arduino Leonardo. Is it a sufficient solution?