diff options
author | Tor Didriksen <tor.didriksen@oracle.com> | 2011-09-05 16:04:33 +0200 |
---|---|---|
committer | Tor Didriksen <tor.didriksen@oracle.com> | 2011-09-05 16:04:33 +0200 |
commit | 0c5106fc65b5cc3bcdcbd915775639335c413fd0 (patch) | |
tree | bcb890c26b3a22fafc807e919f698319f6fae8dd /packaging/WiX | |
parent | a3ff4f7c9399f5973978a0c4c3b442c5c115c2f1 (diff) | |
download | mariadb-git-0c5106fc65b5cc3bcdcbd915775639335c413fd0.tar.gz |
Bug#12856915 VALGRIND FAILURE IN FILESORT/CREATE_SORT_INDEX
Post-push fix:
Replace fun:inline_mysql_file_write with '...' since it may be optimized away.
Diffstat (limited to 'packaging/WiX')
0 files changed, 0 insertions, 0 deletions