Nicholas Nethercote f049d5df10 Remove an unnecessary use of with_session_globals.
We can easily pass in the source map.
2023-03-31 15:34:00 +11:00
..
2023-03-25 02:12:13 +01:00