@diosmosis opened this Pull Request on May 22nd 2019 Member

…e it is not for the main HTTP request.

Just for safety, doesn't fix a known bug.

@diosmosis commented on June 11th 2019 Member

@mattab updated the comment

@mattab commented on June 11th 2019 Member

@tsteur could you please review & merge if it looks good to you?

This Pull Request was closed on June 11th 2019
Powered by GitHub Issue Mirror