sjwiesman commented on issue #9544: [FLINK-13875][docs] Add missing redirects to the documentation URL: https://github.com/apache/flink/pull/9544#issuecomment-525382854 nice catch @1u0 You could by writing a Jekyll plugin but I'm not convinced its worth the overhead given how easy these redirects are to write. I would be much more interested in figuring out how to set up a regression test to avoid these missing redirects.
---------------------------------------------------------------- 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] With regards, Apache Git Services
