Will fail in python3 otherwise. Signed-off-by: Sebastian Spaeth <Sebastian@SSpaeth.de>
New repository/folder classes to support "real deletion" of messages thorugh Gmail's IMAP interface: to really delete a message in Gmail, one has to move it to the Trash folder, rather than EXPUNGE it.