On Tue, 10 Apr 2012, Arnd Bergmann wrote:

On Tuesday 10 April 2012, Thomas Gleixner wrote:
 net/rds/ib_rdma.c       |    3 ++-
 13 files changed, 72 insertions(+), 15 deletions(-)

is not the one you describe above but the one for the 3.2.14-rt24 release,
right? Otherwise it would be considerably smaller compared to 3.2-rt, not
just a bit ;-)

Someone should forbit copy and paste, really. :)