Changes on TDR branch that can be merged back to master
The current head of TDR branch is fully compatible with master
(just some new options that are not used in master
). Merging, and will reopen another (empty) MR for TDR branch
Edited by Marco Cattaneo