-
hjk authored
This is handled by the generic pointer case nowadays and was (now) wrong as it was impossible to see the 'bald pointer' version of it.
658a2276
This is handled by the generic pointer case nowadays and was (now) wrong as it was impossible to see the 'bald pointer' version of it.