Skip to content

Update security considerations.#3906

Merged
chriseth merged 1 commit intodevelopfrom
updateSecuryt
Apr 17, 2018
Merged

Update security considerations.#3906
chriseth merged 1 commit intodevelopfrom
updateSecuryt

Conversation

@chriseth
Copy link
Contributor

No description provided.

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

possibly -> possible

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Should make it clear that holds only true for 0.5.0 and not other experimental pragmas.

@chriseth
Copy link
Contributor Author

Updated.

@chriseth chriseth merged commit 2be2988 into develop Apr 17, 2018
@axic axic deleted the updateSecuryt branch April 17, 2018 10:22
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.

2 participants

Comments