Viewing all changes in revision 955.

Committer: Jiri Srba
Date: 2018-04-16 11:55:26 UTC
mfrom: <a title="Merged From 952.2.3" href="/~tapaal-contributor/tapaal/query-export-bug-1767615/revision/952.2.3">(952.2.3 png-margins-fix-1762562)
Revision ID: srba.jiri@gmail.com-20180416115526-d9ogid1ao126m6p8

merged in branch lp:~tapaal-contributor/tapaal/png-margins-fix-1762562 fixing PNG export and updated list of contributors

added added

removed removed