#326: Update gsl path in Ranger option file to gsl 1.13 -------------------------+-------------------------------------------------- Reporter: bmundim | Owner: mthomas Type: task | Status: new Priority: minor | Milestone: Component: SimFactory | Version: Resolution: | Keywords: Ranger option configuration gsl -------------------------+--------------------------------------------------
Comment (by eschnett):
We should not delete this thorn list yet since it still works, and most people will not have switched over to the new one.