Completed
Pull Request — master (#874)
by Thomas
01:27
created
7.56
▲   + 0.1
Head
Thomas Wiecki  
Merge fa92bea534f444176714899e90fd7d506242b062 into 0e246a2eee1d6e51eb2cab9a3782642d7a29d1f8
2 more commits
Base
llllllllll  
MAINT: error message cleanup