edx/edx-platform — pull request #1104 by nparlante (2013-09-23 21:25:11+00:00)
Title: Add "Download CSV of all student anonymized IDs" button to instructor dashboard

This is a recurrent ops problem, so we wanted to make it available
on the instructor dashboard. @jrbl

Jane is testing it on my machine.