Skip to content

Remove the fixdt policy. fixdt can be achieved by setting dt_min and dt_max to the same value.

Matthieu Schaller requested to merge no_fixdt into master

Merge request reports