That contribution was made via a GitHub pull request by a different user; this post was directly committed.