The patches in this directory were generated from the v3.8.13.x stable
git repo:

git://kernel.ubuntu.com/ubuntu/linux.git

The v3.8.13.x stable series is maintained by the Ubuntu kernel team.
Special thanks goes to them to allow the v3.8-rt series to continue
getting updates backported from the official Linux stable series.