[linbox/f16: 2/2] Merge branch 'master' into f16

[Jerry James]

commit c87357414f24566d443dde7c10b4d3662e082386
Merge: e375037 7796309
Author: Jerry James <loganjerry at gmail.com>
Date:   Wed Nov 9 15:11:39 2011 -0700

    Merge branch 'master' into f16

 linbox-destructor.patch |   90 -----------------------------------------------
 linbox.spec             |    5 ++-
 2 files changed, 4 insertions(+), 91 deletions(-)
---