Okay, so should we just add a comment in the documentation warning people of known bugs? Or what would the clean solution be? Maybe just eliminate that function in master and let it die?


You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.