Skip to content

Release v4.211.1

Choose a tag to compare

View all tags
@github-actions github-actions released this 17 Oct 13:28
v4.211.1
192e958
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Fixed

  • Incompatible property mappings in command productions, reaction productions and reaction invocations now report PLAY0273 at the offending mapping, naming the property and its source and target types, instead of pointing to the first line of an unrelated file. (#785)
Assets 23
Loading