The text d87dda8c07f6, as Debian 8 (Jessie) shipped it.
See external documentation: wxAuiManagerEvent.
wxAuiManagerEvent(3erl) on Linux now