mohamed-barakat/RingsForHomalg — pull request #1 by sebasguts (2012-10-06 00:15:20+00:00)
Title: Patch for GAP

I made the patch to fix the problem with GAP. Turns out, your start script, just like the package itself, used a false way to parse the options to GAP, which made it work. Sometimes two errors cancel each other ;). It now works on emmy, so if you merge this request, jenkins will hopefully work. Please try it. I need to update my packages on github to make my janky work again, I will do this tomorrow.