Comment 1 for bug 1233128

Revision history for this message
Roel Van de Paar (roel11) wrote : Re: Using the --innodb-buffer-pool-populate option can cause the server to abort/be killed