libgnomeui/libgnome 2.11.3

[Kjartan Maraas <kmaraas broadpark no>]

New release is out with the following changes:

libgnome 2.11.3
---------------

What's new since 2.11.2

* Features:
        - Add a man page for gnome-options (Sebastien)

* Bug fixes:
        - Win32 fixes (Tor)
        - gnome_help_display_with_doc_id_and_env() didn't use doc_id
          (Damon Chaplin, Muktha Narayan)

libgnomeui 2.11.3
-----------------

What's new since 2.11.2

Bug fixes:
        - Don't crash on trash:/// bookmarks (Matthias)
        - Fix build in gnome-ui-init.h


Cheers
Kjartan