Skip to content
Snippets Groups Projects
Commit f074c67d authored by Houtan Bastani's avatar Houtan Bastani Committed by GitHub
Browse files

Merge pull request #1297 from JohannesPfeifer/estimation_fixes

Bugfixes and cosmetic changes related to estimation
parents 5f97efe1 d5233336
Branches
Tags
No related merge requests found
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment