Lars Gullik Bjønnes wrote:

I am not really against a renaming. But I'd like it to wait for a
while.
For instance, until the CT merge :-)

Michael

Reply via email to