gcov: make profile merging smarter
[official-gcc.git] / libsanitizer / MERGE
blob5ea083a693a353926ef3c012c551d0db778b8206
1 fdf4c035225de52f596899931b1f6100e5e3e928
3 The first line of this file holds the git revision number of the
4 last merge done from the master library sources.