Closed pilot114 closed 1 month ago
Remove duplicate
Just remove useless duplicate in session options
Do we need to fix this in 3.8 as well?
Retargeted
Thanks @pilot114 !
Remove duplicate
Summary
Just remove useless duplicate in session options