9 Nov
2023
9 Nov
'23
7:16 p.m.
On Thu Nov 9 10:50:40 2023 +0000, Rémi Bernon wrote:
Well I can't find where I read that, maybe it's not that definite. Still IMO it'd be nicer not to keep buffer mapped.
It probably doesn't matter, but I think it would likely be less code to just map it every time, yeah.