Closed justinwoo closed 7 years ago
I didn't run this, but it all looks legit!
I should probably merge this sooner or later. @jacereda should we merge this after the other PR goes through? I can rebase then.
Sure.
El 21 sept 2017, a las 12:28, Justin Woo notifications@github.com escribió:
I should probably merge this sooner or later. @jacereda should we merge this after the other PR goes through? I can rebase then.
— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub, or mute the thread.
Updated this branch, should be good
Simplifies some stuff while we're at it