2012-01-10 ignore-value This module no longer provides the ignore_ptr
function. It was deprecated a year ago, but existed
so briefly before then that it never came into use.
2012-01-10 ignore-value This module no longer provides the ignore_ptr
function. It was deprecated a year ago, but existed
so briefly before then that it never came into use.