Ref #2268 Changing the name of GBO is fine if you really want to, hardly worth it IMO.


You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.