2013-02-03-21.18.14: src/lib/make-library-glue/patchable-file.api:  Added get_patch.