Skip to content
Back to pull request #18447

Fixes #18342: try to insert an entry coercion when a notation in a custom entry has arguments #9188

Sign in to view logs

Fixes #18342: try to insert an entry coercion when a notation in a custom entry has arguments

Fixes #18342: try to insert an entry coercion when a notation in a custom entry has arguments #9188

The logs for this run have expired and are no longer available.