-
Martin Nolte authored
I guess this patch belongs into the release, too. However, I leave the decision up to the release managers. [[Imported from SVN: r391]]
b6584bba
I guess this patch belongs into the release, too. However, I leave the decision up to the release managers. [[Imported from SVN: r391]]