diff options
| author | John Ericson <John.Ericson@Obsidian.Systems> | 2020-08-22 20:44:47 +0000 |
|---|---|---|
| committer | John Ericson <John.Ericson@Obsidian.Systems> | 2020-09-22 17:13:59 +0000 |
| commit | 993229cdaf2e2347a204c876ecd660fc94048101 (patch) | |
| tree | c63bac5e4128027a1d52f9b394d75b85916e469b /doc | |
| parent | 980edd1f3a31eefe297d073f6a7cff099f21eb4a (diff) | |
Deduplicate basic derivation goals too
See comments for security concerns.
Also optimize goal creation by not traversing map twice.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions