commit | 336cf9487de9d8a243c658b0c42bedd5424dd5b5 | [log] [tgz] |
---|---|---|
author | Dimitris Kolovos <dkolovos@cs.york.ac.uk> | Sun Oct 25 17:56:13 2020 +0000 |
committer | Dimitris Kolovos <dkolovos@cs.york.ac.uk> | Sun Oct 25 17:56:13 2020 +0000 |
tree | a6adbde42cd13302505602a882076d32c2bb55c4 | |
parent | f2e9a570668113096cea6b4b98e617f7091a697f [diff] |
Applied patch in bug #567971