From: Andre Noll <maan@systemlinux.org>
Date: Sun, 19 May 2013 21:05:00 +0000 (+0200)
Subject: Merge remote-tracking branch 'mpi/master'
X-Git-Tag: v0.4.13~35
X-Git-Url: https://git.tue.mpg.de/?a=commitdiff_plain;h=e67dffc9b315ffd7757b6f6fff5c79b1c99388dd;p=paraslash.git

Merge remote-tracking branch 'mpi/master'
---

e67dffc9b315ffd7757b6f6fff5c79b1c99388dd