2013-01-20-15.54.49: src/lib/make-library-glue/make-library-glue.pkg:  Added  (plugins: List(Plugin))  parameter to   fun make_library_binding   to clear the way for further factoring-out of remaining Gtk-specific functionality.