gdogr

About

Username: gdogr
Joined: October 2018
Visits: 18
Last Active: November 2018
Roles: Member

Comments

Thanks Matthias!

in Exercises Comment by gdogr November 2018
Thanks Matthias, very helpful comment!

in Exercises Unit 1 Comment by gdogr October 2018