Update merge script and HOWTO_MERGE documentation.
commit3ae7a7a7fb4968565493e64e414e9502983600b4
authormarxin <marxin@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 31 Oct 2018 11:09:26 +0000 (31 11:09 +0000)
committermarxin <marxin@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 31 Oct 2018 11:09:26 +0000 (31 11:09 +0000)
treebc35e5b87241ba2aa2a43ad602eac7c6bf9940ff
parentaa63245e5a0a8dd498eb549759ff2fea1abab0df
Update merge script and HOWTO_MERGE documentation.

2018-10-31  Martin Liska  <mliska@suse.cz>

* HOWTO_MERGE: Enhance documentation.
* merge.sh: Add support for git as well.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@265664 138bc75d-0d04-0410-961f-82ee72b054a4
libsanitizer/ChangeLog
libsanitizer/HOWTO_MERGE
libsanitizer/merge.sh