Follow up on #591: update authors and add new copyright where missed#611

Merged

dhardy merged 1 commit intorust-random:masterfrom dhardy:authors

Sep 20, 2018

+25-6

Commits on Sep 17, 2018

Follow up on rust-random#591 : update authors and add new copyright where missed
dhardy
committed