8 Jul
2014
8 Jul
'14
3:57 p.m.
Dear users, we are considering the removal of rss.pl fr the 3.18 release. We'd like to hear from those who still rely on that feature (on older versions), to see if its functionality can be covered with another approach. The code as-is will be removed, but could be reintroduced if someone wanted to work on getting it up to date. Best regards. -- Tomás Cohen Arazi Prosecretaría de Informática Universidad Nacional de Córdoba ✆ +54 351 5353750 ext 13168 GPG: B76C 6E7C 2D80 551A C765 E225 0A27 2EA1 B2F3 C15F