Thanks for the ping! The change looks good to me, but this is not a repo that I own so it's up to @vasudevgupta to merge this :-)

Thanks !

vasudevgupta changed pull request status to merged

Sign up or log in to comment