Talk:Formula Future/@comment-29636239-20161108154721

does anyone know the final PR at stage 8? Or did I miss it in the comments here ?

Thanks