Einer meiner Kollegen und ich haben den Fix heute morgen installiert. Bislang haben wir keine Probleme. Der Speicherverbrauch ist (bisher) normal.