diff options
| author | twidi <s.angel@twidi.com> | 2014-11-15 15:52:35 +0100 |
|---|---|---|
| committer | Tim Graham <timograham@gmail.com> | 2014-11-17 18:32:42 +0100 |
| commit | 82aca216e130973d142473ebb4b22d1eae146ec7 (patch) | |
| tree | 2faa6278122a1babf2a3155c2f381f92a6d14cc3 /docs | |
| parent | 8fce7978307058f9bc7d9f815858f27fdd954409 (diff) | |
Reordered condition to avoid calling allow_migrate() if unneeded.
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions