Done, per Simon:
Bruce Momjian <bruce@momjian.us>
Done, per Simon: < o Fix server restart problem when the server was shutdown during > o -Fix server restart problem when the server was shutdown during
Files
| Path | Change | +/− |
|---|---|---|
| doc/src/FAQ/TODO.html | modified | +2 −2 |
| doc/TODO | modified | +2 −2 |