Closed lbartoletti closed 6 years ago
Since the good data and structure dumps are updated on the 1.3.1 release page by @elemoine, we can rewrite the doc for this procedure.
Looks good to me. I'd just squash the commits into one before merging.
Since the good data and structure dumps are updated on the 1.3.1 release page by @elemoine, we can rewrite the doc for this procedure.