Skip to content
This repository has been archived by the owner on Aug 31, 2023. It is now read-only.

Reduced logging #36

Merged
merged 2 commits into from
Jun 29, 2018
Merged

Reduced logging #36

merged 2 commits into from
Jun 29, 2018

Conversation

marcin-kolda
Copy link
Contributor

No description provided.

@jarekdrabek jarekdrabek merged commit 6ce7c55 into master Jun 29, 2018
@jarekdrabek jarekdrabek deleted the reduced_logging branch June 29, 2018 13:42
@coveralls
Copy link

Coverage Status

Coverage decreased (-0.01%) to 94.268% when pulling 0bfa760 on reduced_logging into bed34f6 on master.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants