Version
4.0-2010
Förgrening
master
Datum
4 år, 9 månader sedan
Windows x64 Android Ubuntu 13.04 Mac OS X
Revisionsinformation
7035e5e4fb6171526890cd61e184d5e1bbf216a0
Ändringens upphovsman
Pierre Bourdon
Ändringens beskrivning
Merge pull request #555 from JMC47/pinned_memory

Place pinned memory as top priority.