Información para 4.0-2010

Versión
4.0-2010
Rama
master
Fecha
hace 10 años, 4 meses
Windows x64 Mac OS X Android Ubuntu 13.04
Contribución
7035e5e4fb6171526890cd61e184d5e1bbf216a0
Autor del cambio
Pierre Bourdon
Descripción del cambio 
Merge pull request #555 from JMC47/pinned_memory

Place pinned memory as top priority.