log python/git_merge_master.py @ 927:6ebd7de4d85e default tip

age author description
2014-03-05 Jeff Hammel STUB: python/git_merge_master.py
2014-03-04 Jeff Hammel stub for merging from master