rg3/youtube-dl — pull request #3581 by JGjorgji (2014-08-24 17:00:22+00:00)
Title: Fix leading zeroes

Files are padded by 5 zeroes by default even though the playlist length is known, this passes the playlist length to the filename builder function so it's padded appropriately.