finally put this patch into git, where it belong
authorPaul Davis <paul@linuxaudiosystems.com>
Wed, 12 Mar 2014 14:00:24 +0000 (10:00 -0400)
committerPaul Davis <paul@linuxaudiosystems.com>
Wed, 12 Mar 2014 14:00:24 +0000 (10:00 -0400)
commit057d0b6eeb93c4f15c8c172fc7f991bb8654c4d2
treefa780e0f86a983b60a9889870225624e78b18ded
parentf15932a5c25d83e7f9c0b955ebb9ccdc510ab2c8
finally put this patch into git, where it belong
tools/boost-ptr-debug.patch [new file with mode: 0644]