1 Commits (ef5eeea39b3415bd53dfdaa28d9a9961bb5b9007)

Author	SHA1	Message	Date
Simon H	4b59ef3c41	fix: widen ownership when sub state is assigned to new state (#11217) ... Ownership was not widened when assigning a sub state to a different top level state. The set of owners for the state was zero because the owner was on the original parent, but that one was reset to null because it's now the top level of a different state. That meant that there was no owner but also no parent to check for the owner, which is an invalid combination resulting in a nullpointer (and also potentially false positive warnings in other situations). fixes #11204	3 months ago