Merge f7d19d5e53d5e1f62ecdba20542f46644ef12b0e into…

Authored by Deleted user <ghost@github.com> on Dec 18 2017, 10:24 AM.

Details

Committed
GitHub <noreply@github.com>Dec 18 2017, 10:24 AM
Parents
rNIMBUS1bc64b899dd5: Replace use of deprecated API (#679)
rNIMBUSf7d19d5e53d5: Add prioritizeExplicitLinks property
Branches
Unknown
Tags
Unknown
This commit has been deleted in the repository: it is no longer reachable from any branch, tag, or ref.
GitHub <noreply@github.com> committed rNIMBUS5e9c380ec00c: Merge f7d19d5e53d5e1f62ecdba20542f46644ef12b0e into… (authored by Deleted user <ghost@github.com>).Dec 18 2017, 10:24 AM

Merged Changes

CommitAuthorDetailsCommitted
f7d19d5e53d5Adrian Matteis
Add prioritizeExplicitLinks property 
Jun 25 2015