Sessions: Different history and options depending on how launched (fix #303022) (#303089)
B
Benjamin Pasero committed
270e729abbf2afecdbf9108aadb9d2192cec529f
Parent: 2dbf75d
Committed by GitHub <[email protected]>
on 3/19/2026, 8:20:16 AM