Summary of changes: ce7ba71... New upstream minor bugfix release, see http://code.google.c (*) 6947b6b... Update sources for v2.13.4 release (*) 6370ccb... Re-add user manual (*) (*) This commit already existed in another branch; no separate mail sent