15 Jan
2024
15 Jan
'24
2:12 p.m.
On Mon, Jan 15, 2024 at 4:48 AM Boris Kolpackov
Just to confirm, the changes that you are proposing will be backwards- compatible from the user's perspective, right? In particular, the public header inclusion paths will still be
rather than, say, , correct?
Correct. -- -- René Ferdinand Rivera Morell -- Don't Assume Anything -- No Supone Nada -- Robot Dreams - http://robot-dreams.net