On 2023-09-04 18:04, Bruno Haible wrote:
It's still a bit early to do so, because it can trigger compilation errors when people are not super careful
Doesn't Gnulib's nullptr module fix the problems, whatever they are? (The URL you gave needs a GitHub login to view, which is a bit unfriendly.)
