Skip to content

Replace to failure#118

Merged
termoshtt merged 1 commit intomasterfrom
failure
Sep 5, 2018
Merged

Replace to failure#118
termoshtt merged 1 commit intomasterfrom
failure

Conversation

@termoshtt
Copy link
Copy Markdown
Member

  • Drop procedural
  • Use failure

@termoshtt termoshtt modified the milestones: 0.10, 0.11 Sep 5, 2018
@termoshtt termoshtt merged commit 4614d0e into master Sep 5, 2018
@termoshtt termoshtt deleted the failure branch March 3, 2019 19:56
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