#18380: merge with 3.3.

This commit is contained in:
Ezio Melotti 2013-07-06 17:17:45 +02:00
commit e0a39de647
3 changed files with 6 additions and 1 deletions

View file

@ -871,6 +871,7 @@ Alessandro Moura
Pablo Mouzo
Mher Movsisyan
Ruslan Mstoi
Valentina Mukhamedzhanova
Michael Mulich
Sape Mullender
Sjoerd Mullender