diff -r 30113bfbe723 -r b3afb9f1e801 doc/translation.pdf Binary file doc/translation.pdf has changed