Codecov Report

Merging #131 into master will increase coverage by 0.12%.
The diff coverage is 100.00%.

@@            Coverage Diff             @@
##           master     #131      +/-   ##
==========================================
+ Coverage   33.26%   33.39%   +0.12%     
==========================================
  Files           9        9              
  Lines         526      527       +1     
==========================================
+ Hits          175      176       +1     
  Misses        351      351              

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 2ce59f9...387d1a9. Read the comment docs.

It seems like there are some pull requests pending; do you see that they will be investigated and completed in the foreseable future?
Thank you,
Davide

@simonschoelly, did this PR fall through the cracks?

oops, I messed something up...

I tried to rebase the PR and add a commit withsome documentation about it, but that didn't worked as expected. Maybe I should try reopening a PR.

Ok, I think I understand what happened: the PR was on master, and I already add a master branch created. so when I fetched it, it renamed the branch, and when I pushed, it pushed my master instead of the modifications. Sorry about that, I will make a new PR.

new PR: #176

git rebase -i + force push afterwards might help in such situtations

I think this is what I did, but I pushed the master instead of the PR branch