Phil Nash be838671ab Removed special handling for pointer comparisons
These all seem to be handled by the general case now
2012-05-24 08:27:09 +01:00
..
2012-05-23 23:59:42 +01:00
2012-05-16 15:02:51 +01:00