git checkout master
git pull https://gitee.com/jiayi0118/gawk.git fix-double-free
git push origin master
