Build #82 (11/08/2017, 10:51:12 PM)

1. CSV data store: make sure that we can export to a (really) big CSV file (commit: 0fa63bd) (details / githubweb)
2. Slight updates to our downloads and what is new pages (#1394). (commit: 145ce68) (details / githubweb)

Started by GitHub push by agarny

This run spent:

• 59 min waiting;
• 1 hr 41 min build duration;
• 2 hr 41 min total from scheduled to completion.

• refs/remotes/origin/master