gcc/libsanitizer/MERGE
2020-11-13 17:28:49 +01:00

5 lines
156 B
Plaintext

a28a466210199559d38251c11f30515cc83eadd6
The first line of this file holds the git revision number of the
last merge done from the master library sources.