Remove no longer needed casts to Pointer

Peter Eisentraut <peter@eisentraut.org>

Commit: c6be3daa054a2fac67331f3bfc348b9bfd6f690c
Author: Peter Eisentraut <peter@eisentraut.org>
Date: 2025-12-04T18:40:08Z
Remove no longer needed casts to Pointer

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

Reviewed-by: Chao Li <li.evan.chao@gmail.com>
Reviewed-by: Bertrand Drouvot <bertranddrouvot.pg@gmail.com>
Discussion: https://www.postgresql.org/message-id/4154950a-47ae-4223-bd01-1235cc50e933%40eisentraut.org

Files

Discussion