On 2026-03-10 10:58, Bruno Haible wrote:
Moving from __gl_<something> to_gl_<something> is what I already did in the 4 patches.
OK, thanks, I hadn't picked that up.
Do you mean, we should also move from gl_<something> to_gl_<something> for non-public API
Probably would be a good idea, no? But not urgent.
