I am re-issuing the pull request that may have been closed in error. 

I am re-issuing the pull request that may have been closed in error. 

As per Emilien Klein email today.