Skip to content

Improve an error involving attribute values.#118855

Merged
bors merged 1 commit intorust-lang:masterfrom
nnethercote:improve-attribute-value-error
Dec 12, 2023
Merged

Improve an error involving attribute values.#118855
bors merged 1 commit intorust-lang:masterfrom
nnethercote:improve-attribute-value-error

Commits

Commits on Dec 12, 2023