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

cleanup and typing #4829

Merged
merged 1 commit into from
Oct 28, 2019
Merged

cleanup and typing #4829

merged 1 commit into from
Oct 28, 2019

Conversation

etam
Copy link
Contributor

@etam etam commented Oct 24, 2019

No description provided.

@etam etam added the cleanup label Oct 24, 2019
@etam etam self-assigned this Oct 24, 2019
Copy link

@Wiezzel Wiezzel left a comment

Choose a reason for hiding this comment

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

Looks good.

@codecov
Copy link

codecov bot commented Oct 28, 2019

Codecov Report

Merging #4829 into b0.21 will decrease coverage by <.01%.
The diff coverage is 60.71%.

@@            Coverage Diff             @@
##            b0.21    #4829      +/-   ##
==========================================
- Coverage   90.27%   90.26%   -0.01%     
==========================================
  Files         220      220              
  Lines       20080    20070      -10     
==========================================
- Hits        18127    18117      -10     
  Misses       1953     1953

@etam etam merged commit 240ebea into b0.21 Oct 28, 2019
@etam etam deleted the random_hacks branch October 28, 2019 10:35
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants