Fix was merged an hour ago, roughly an hour after you made this comment (at which time they were still working on it)