diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2015-05-15 13:36:09 +0200 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2015-05-15 13:37:31 +0200 |
| commit | 63e7016566f382ff59fe724d09d556022c897222 (patch) | |
| tree | 70ed54b618a6b92efa93e1811d106b083098a069 /src/policy | |
| parent | 16e8ea3dde8d68911327cf109a6c2a78fdb30950 (diff) | |
| parent | 8f0947be34e1a462e5fa4e212d73bcdba6208da4 (diff) | |
Merge pull request #6140
8f0947b Increase timeouts in pruning.py and modify warning language. (Alex Morcos)
b89f307 Fix incorrect variable name in FindFilesToPrune (Suhas Daftuar)
Diffstat (limited to 'src/policy')
0 files changed, 0 insertions, 0 deletions