mono/monodevelop — pull request #341 by Therzok (2013-07-16 12:33:31+00:00)
Title: Bug 8445 - Fixed Gtk-Warning for SpinButton.

WARNING [2012-11-15 18:21:03Z]: Gtk-Warning: GtkSpinButton: setting an
adjustment with non-zero page size is deprecated