diff options
| author | Marko Kreen | 2013-08-24 15:51:12 +0000 |
|---|---|---|
| committer | Marko Kreen | 2013-08-24 15:51:12 +0000 |
| commit | 9aaf52a39acb111fe16f20da89a30abd015cc85d (patch) | |
| tree | e92a4f9670a9adb4245ec0d7f9433369313a8507 /doc | |
| parent | 294e9a5fefb618b018e47b6b48d00593e0ed735a (diff) | |
Use setseed() in RUN ON ANY regtest.
Without it, the test can fail occasionally.
Reported by Peter Eisentraut.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions