diff options
| author | Peter Eisentraut | 2017-08-17 16:39:20 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2017-09-05 18:52:55 +0000 |
| commit | ec3a4375961abaa209116162966bc7af2d51148a (patch) | |
| tree | b6b79eab20c6ca66e34cf4e43f14f79d6e1d79e2 /doc/src | |
| parent | 17273d059cd3a5cba818505b0d47a444c36a3513 (diff) | |
Remove unnecessary casts
Reviewed-by: Michael Paquier <michael.paquier@gmail.com>
Reviewed-by: Ryan Murphy <ryanfmurphy@gmail.com>
Diffstat (limited to 'doc/src')
0 files changed, 0 insertions, 0 deletions