diff options
| author |  Clément Pit-Claudel <clement.pitclaudel@live.com> | 2018-09-01 13:08:48 -0400 |
|---|---|---|
| committer | Clément Pit-Claudel <clement.pitclaudel@live.com> | 2018-09-01 13:08:48 -0400 |
| commit | 65d69a7a6a4a5aa5518fd55671d58b0b4a350fe2 (patch) | |
| tree | 84981db4cca891b11f5efd795ad70da50cbbe4b3 /lego | |
| parent | 6aeacf5863e6f22b86d9fb8e57380ca29fbfddaa (diff) | |
Reloading proof-autoloads is safe; don't forbid it
Fixes GH-386.
Reported-by: @mrkkrp
Diffstat (limited to 'lego')
0 files changed, 0 insertions, 0 deletions