On Jan 1, 2016, at 10:48 AM, Sebastian Hagedorn <Hagedorn at uni-koeln.de> wrote: > > Thanks. We don't build directly from git, so I want to make sure I'm picking the right commit as a patch for the 3.0.10 SRPM. I'm guessing it's this one? You'll want: d182083dbda2e6 169a837a4ac 7b494d2e6c Alan DeKok.