mergetools / gvimdiffon commit paint_down_to_common: use prio_queue (73f43f2)
   1. "$MERGE_TOOLS_DIR/vimdiff"