The text bf5e6cc4280b, as Debian 9 (Stretch) shipped it.
See external documentation: wxSpinCtrl.
wxSpinCtrl(3erl) on Linux now
