2013-02-12-09.26.13: src/lib/make-library-glue/patchfiles.api: Introduced Patch_Id, changed Patch to use it, to make client code cleaner.