Paul Nikolaus

Results 2 comments of Paul Nikolaus

I guess this is the same error ![screen shot 2018-06-11 at 3 07 11 pm](https://user-images.githubusercontent.com/37837668/41281861-c8b64984-6e32-11e8-956d-e5fbd397ccbd.png) after I updated to ide-python 1.0.0.

@thibeco I've totally overlooked this, thank you so much!