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: Link with libedit instead of readline5 Bastian Germann
- Bug#940879: [debian-mysql] Bug#940879: Link with li... Otto Kekäläinen