diff_flush_patch 4666 diff.c         				diff_flush_patch(p, options);
diff_flush_patch 4686 diff.c         				diff_flush_patch(p, options);