Nyall Dawson 886074c913 Rename 'None' enum members in public API
These clash with the Python bindings, where the enum value
becomes unusable
2024-08-06 19:49:10 +10:00
..
2024-07-10 04:07:12 +10:00