Peter Eisentraut <[email protected]> writes: > The comment > /* On some platforms, readline is declared as readline(char *) */ > is obsolete. The casting away of const can be removed.
+1, that's surely not of interest on anything we still support.
regards, tom lane
