If we still want to improve the API, we need to deprecate properties first and keep them around for a while. As we discussed before that is difficult in this case, but let's just get this bug fixed now and we can discuss afterwards.
If we still want to improve the API, we need to deprecate properties first and keep them around for a while. As we discussed before that is difficult in this case, but let's just get this bug fixed now and we can discuss afterwards.