Looks like the PR was merged a couple hours ago, hopefully it will be released soon. Thanks. On Fri, Dec 7, 2018 at 11:19 AM Jeff Dyke