Select Git revision
-
Peter Eisentraut authored
Probably no practical impact, since all pointers ought to have the same size, but it was wrong nonetheless. Found by Coverity.
Peter Eisentraut authoredProbably no practical impact, since all pointers ought to have the same size, but it was wrong nonetheless. Found by Coverity.
