commit | 206384a7403de4008d5635f1317afe19300a57c0 | [log] [tgz] |
---|---|---|
author | Luca Cristoforetti <cristofo@fbk.eu> | Thu Jun 11 15:36:22 2020 +0200 |
committer | Luca Cristoforetti <cristofo@fbk.eu> | Thu Jun 11 15:36:22 2020 +0200 |
tree | 11810631959032f7d7433d8a3c99b8596cf9421d | |
parent | 077c4f28b7cb6aaa4ffc802043e72e83e3070fe8 [diff] | |
parent | c209fff6367bb6dab272d43d4d59cc2bb3a6e617 [diff] |
Merge remote-tracking branch 'origin/devel' into 563991-improve-checker-manager