Bug#940879: [debian-mysql] Bug#940879: Link with libedit instead of readline5

Thanks, perfect! I merged it now. I am more than happy to get more contributions from you if you want to help out with something.

Bug#940879: [debian-mysql] Bug#940879: Link with libedit instead of readline5

Thanks for the suggestion! Do you want to contribute and make a MR about that change? https://wiki.debian.org/Teams/MySQL/patches