Skip to content
This repository was archived by the owner on Sep 30, 2020. It is now read-only.

Randomize friends page #693

Merged
merged 1 commit into from
Jan 22, 2017
Merged

Conversation

brson
Copy link
Contributor

@brson brson commented Jan 20, 2017

This gives all entries equal exposure at the top of the list.

r? @steveklabnik

@steveklabnik steveklabnik merged commit dcf5735 into rust-lang:master Jan 22, 2017
@steveklabnik
Copy link
Member

😍

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants