Configure setup_instruments (for the mutex page) if possible on startup, and restore...
authorSimon J Mudd <sjmudd@pobox.com>
Fri, 9 Jan 2015 17:38:04 +0000 (18:38 +0100)
committerSimon J Mudd <sjmudd@pobox.com>
Fri, 9 Jan 2015 17:38:04 +0000 (18:38 +0100)
commit68d16c936752d5c43f330b981bbd4b215654d13b
treebf6657043f7f8934d225ead78ec1503f44d0f130
parent19c8ae094d0914226a3fcd75576d39528828dace
Configure setup_instruments (for the mutex page) if possible on startup, and restore when stopping
version/version.go