masterha_master_switch(1p) on Linux

The text ff84c9698c60, as Debian 7 (Wheezy) shipped it.

Switching MySQL master server to one of other slave servers

masterha_master_switch(1p) on Linux now