I looked for a potential problem out of doing such a change but I could not
find anything.

But for sure such a change should be well marked in case is merge.

I did not take look at the PR as that can wait also.

Lets respect the RFC protocol and wait the specified time to see if someone
else comes with something.

By the Way... This needs an RFC right?

Reply via email to