Created by: cvrebert
Fixes #9511 (closed). Whether we ought to do this, I'm not sure (Maybe there was a past decision about this? Are there bad, non-obvious consequences?). /to @mdo for decision/feedback.
Created by: cvrebert
Fixes #9511 (closed). Whether we ought to do this, I'm not sure (Maybe there was a past decision about this? Are there bad, non-obvious consequences?). /to @mdo for decision/feedback.