Skip to content
This repository has been archived by the owner on Nov 6, 2020. It is now read-only.

flush DB changes on drop #2795

Merged
merged 1 commit into from
Oct 22, 2016
Merged

flush DB changes on drop #2795

merged 1 commit into from
Oct 22, 2016

Conversation

rphmeier
Copy link
Contributor

No description provided.

@rphmeier rphmeier added A0-pleasereview 🤓 Pull request needs code review. M4-core ⛓ Core client code / Rust. labels Oct 21, 2016
@arkpar arkpar added A8-looksgood 🦄 Pull request is reviewed well. and removed A0-pleasereview 🤓 Pull request needs code review. labels Oct 21, 2016
@coveralls
Copy link

Coverage Status

Changes Unknown when pulling 8c0f0cf on flush-db-on-drop into * on master*.

@gavofyork gavofyork merged commit 7bd37e3 into master Oct 22, 2016
@gavofyork gavofyork deleted the flush-db-on-drop branch October 22, 2016 13:22
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
A8-looksgood 🦄 Pull request is reviewed well. M4-core ⛓ Core client code / Rust.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants