Remove no longer needed casts from Pointer

Peter Eisentraut <peter@eisentraut.org>

Commit: e158fd4d68f44d0872c1d2053067fe306cc9d2b2
Author: Peter Eisentraut <peter@eisentraut.org>
Date: 2025-12-04T19:44:52Z
Remove no longer needed casts from Pointer

These casts used to be required when Pointer was char *, but now it's
void * (commit 1b2bb5077e9), so they are not needed anymore.

Author: Dagfinn Ilmari Mannsåker <ilmari@ilmari.org>
Discussion: https://www.postgresql.org/message-id/4154950a-47ae-4223-bd01-1235cc50e933%40eisentraut.org

Files

Discussion