zentol commented on pull request #13514:
URL: https://github.com/apache/flink/pull/13514#issuecomment-713499526


   I'm not truly suggesting to _remove_ the existing replacements, because as 
you said that may break existing setups. The same however could be said about 
replacing more characters, which would break any setup where the user was 
already escaping characters. So, if we change anything, we may break someone's 
setup, and as such I'm inclined to just leave things as is; with an adjustment 
to the WebUI to escape characters and added documentation for this case.


----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

For queries about this service, please contact Infrastructure at:
[email protected]


Reply via email to