| commit | 321552d6c63f4ba77fcadf60382e5f07b20e679f | [log] [tgz] |
|---|---|---|
| author | Dimitris Kolovos <dkolovos@cs.york.ac.uk> | Sat Mar 21 08:38:16 2020 +0000 |
| committer | Dimitris Kolovos <dkolovos@cs.york.ac.uk> | Sat Mar 21 08:38:16 2020 +0000 |
| tree | 6e059ebe9a99b05889bea1c1402e3f80f31b2ef4 | |
| parent | aaf661acab9e74271ffe00e8cf7a8fa729f870ec [diff] |
Merged patch contributed in bug 561307