You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Before it was using the name PROGRAM_STATE_MESSAGE_VARIABLE_UPDATE
As far as I can see that error has been there for all eternity, but that
type es never used anywhere.
Strictly speaking, this would be breaking API, but the old naming was
clearly wrong, so users should not rely on that faulty behavior. Also
parsing that type is not implemented in the library, so this is most
probably not used by anybody. That would be my argument to make that
change without major-bumping the library. @urrsk@urmahp would you
agree?
0 commit comments