Hi Ghis, we have finally finished the legal work for accepting contributions (sorry it took so long) - see: http://asl.org.il/copyright_assignment/ . We would like to merge your contribution to credit your detecting the issue and its (partial) fix. Please follow the steps outlined in the webpage. Please do not look on it as a bureaucratic formality - it is the only mechanism we have to enforce AGPL and thus protect ASL (including your contributions) from being exploited.
Hi Ghis, we have finally finished the legal work for accepting contributions (sorry it took so long) - see: http://asl.org.il/copyright_assignment/ . We would like to merge your contribution to credit your detecting the issue and its (partial) fix. Please follow the steps outlined in the webpage. Please do not look on it as a bureaucratic formality - it is the only mechanism we have to enforce AGPL and thus protect ASL (including your contributions) from being exploited.