Viewing all changes in revision 818.

Committer: launchpad-janitor
Author(s): Mathias Grund Sørensen
Date: 2013-11-01 07:00:43 UTC
mfrom: <a title="Merged From 817.1.1" href="/~tapaal-contributor/tapaal/BDDtestBranch/revision/817.1.1">(817.1.1 batchDiesBug)
Revision ID: tapaal@cs.aau.dk-20131101070043-v65yqk1xm9jjannn

Fixes a bug when a batch processing terminated silently by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba

added added

removed removed