Version
4.0-2010
Entwicklungszweig
master
Zeitpunkt
9 Jahre, 8 Monate her
Windows x64 Mac OS X Android Ubuntu 13.04
Commit
7035e5e4fb6171526890cd61e184d5e1bbf216a0
Author der Änderung
Pierre Bourdon
Beschreibung der Änderung
Merge pull request #555 from JMC47/pinned_memory

Place pinned memory as top priority.