Skip to content

Rename Status::ERROR to Status::DRACO_ERROR.#535

Merged
tomfinegan merged 1 commit into
masterfrom
draco_error
Jul 8, 2019
Merged

Rename Status::ERROR to Status::DRACO_ERROR.#535
tomfinegan merged 1 commit into
masterfrom
draco_error

Conversation

@tomfinegan
Copy link
Copy Markdown
Contributor

Change the name to avoid conflict with Windows headers.

Change the name to avoid conflict with Windows headers.
@tomfinegan tomfinegan requested a review from ondys July 1, 2019 21:19
@tomfinegan tomfinegan merged commit 7e3a61d into master Jul 8, 2019
@tomfinegan tomfinegan deleted the draco_error branch December 8, 2020 20:38
danielgronlund pushed a commit to danielgronlund/draco that referenced this pull request Aug 22, 2024
 Rename Status::ERROR to Status::DRACO_ERROR.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant