Your commit seems not to be linked to your GitHub account. See: Why are my commits linked to the wrong user? for more info.

Your commit seems not to be linked to your GitHub account. See: Why are my commits linked to the wrong user? for more info.

Ah, should be a simple fix, I'll sort it in the next 24 hours.

@AThousandShips It is now linked to my account, thank you for spotting that.

@dsnopek I'd just like to point out there is one other missing flag:

I left it out since it didn't sound useful to extensions. If it is let me know and I'll add it at the same time.

The note on that one in the docs says:

Used internally. Allows to not dump core virtual methods (such as [method Object._notification]) to the JSON API.

So, it sounds like any method that it's used on wouldn't be exposed to GDExtension, so I don't think we need it

Thanks! Congratulations on your first merged contribution! 🎉