diff options
| author | Rickard Green <[email protected]> | 2011-05-10 20:25:53 +0200 |
|---|---|---|
| committer | Rickard Green <[email protected]> | 2011-05-13 14:23:10 +0200 |
| commit | 673f5d1bf684f15ac5526d8a21552eca9a0c9052 (patch) | |
| tree | db05a7890116ee98280170db4100d0ac65d2ff60 /make/save_args | |
| parent | 434cab885e50dd72f3c4f87f30d9ee21085cc657 (diff) | |
| download | otp-673f5d1bf684f15ac5526d8a21552eca9a0c9052.tar.gz otp-673f5d1bf684f15ac5526d8a21552eca9a0c9052.tar.bz2 otp-673f5d1bf684f15ac5526d8a21552eca9a0c9052.zip | |
Ensure that all rehashing information are seen when done
This is not a bugfix. The change is done in order to avoid a
future bug.
Diffstat (limited to 'make/save_args')
0 files changed, 0 insertions, 0 deletions