Hello all, And to the Gnome maintainers: I just saw that 2.14 was released this afternoon; when we will be seeing that in the ports tree? Just a friendly jibe, that's all. ;-) Looking forward to playing around with a new release... -Andrew