On 2/13/23 04:51, Hou Tao wrote:
Should I keep "none-to-rt" and make it work just like "promote-to-rt" or should I just remove "none-to-rt" and add "promote-to-rt" ? I think the latter will be more appropriate.
Removing none-to-rt would break existing systems that use this policy. I prefer the former solution.
Thanks, Bart.