More correct fix for 8bfbef4: the check was already there; just needed to set the...
[ardour.git] / tools / boost-1.55-ptr-debug.patch
2016-01-16 Paul Davisnewer, not-as-good boost shared ptr debug patch for...