MySQL doesn't own the copyright to libreadline and InnoDB. It's a reuser of those components. As such it's choosing to comply with its GPL obligations to those licensors by using clause 3a and distributing the source to just those who it gives the binaries to. Those people can than freely pass it on to others if they wish and MySQL is well aware of this.