From: Phil Bouchard (philippe_at_[hidden])
Date: 2008-04-03 12:23:41
Greetings:
This is a short notice to let you know I changed "make_shifted_ptee"
function call to "new_sh" because it deosn't make sense to use "make_"
series in that situation because "shifted_ptee" isn't a valid object. I
think "new_sh" is acceptable.
Regards,
-Phil