Closed tomkralidis closed 9 years ago
I might be missing something but I think this isn't an intentional PR. I think we can close.
@gbinal it is indeed intentional (minor editorial fix)
Ah! Yes. I'm sorry about that.
:+1: to merging this.
Let me know if you require any further info to merge this PR. Thanks.
Looks good!
I might be missing something but I think this isn't an intentional PR. I think we can close.