von Benedikt Niessen am
Gestern habe ich den Entschluss gefasst, den PHP5-Port für Redis nicht weiter zu maintainen. Einerseits versuche ich mich derzeit auf wenige aber wichtige Projekte zu konzentrieren und nicht zu viel nebenbei zu machen, andererseits nutze ich Redis kaum noch in eigenen Projekten, weshalb das Interesse dahingehend gering ist.
Ich habe schnell einen neuen Maintainer gefunden, der sich diesem Port annimmt.