gperciva/gub — pull request #2 by colinghall (2012-06-01 13:08:19+00:00)
Title: Change mirror for linux kernel headers

Here is a new pull request so it only contains the change for the linux headers URI.

Cheers,
Colin.