Only update git-rev.txt when there was something to do#86
Open
oliviermartin wants to merge 1 commit intoezyang:masterfrom
Open
Only update git-rev.txt when there was something to do#86oliviermartin wants to merge 1 commit intoezyang:masterfrom
oliviermartin wants to merge 1 commit intoezyang:masterfrom