It was already merged, so I'll just go ahead and link it here: https://github.com/Homebrew/brew/pull/10513

Thanks again for bringing it to our attention!