[platform-ui-dev] Do we need platform-ide-inbox?

[platform-ui-dev] Do we need platform-ide-inbox?

From: Francis Upton <francisu@xxxxxxxx>
Date: Mon, 28 Sep 2009 03:39:03 -0700
Delivered-to: platform-ui-dev@xxxxxxxxxxx
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:date:x-google-sender-auth:message-id:subject :from:to:content-type; b=rTOGzet/w/lfWluZGFMmCruRmgHn6XimZZs1dmeBGrOGUJhxD8hOVH93I+auP7kknS Qlj+4k+j7zFW2eVpAAHXrkRY7jSLVJga4lGM6SrxXmo/uMR0W0Rsb5Vo+1NYsB4r8t9V 2IPnFFfRCUrPxKfVAMY49n86sHbrwTAk8ruqc=
List-archive: <https://dev.eclipse.org/mailman/private/platform-ui-dev>
List-help: <mailto:platform-ui-dev-request@eclipse.org?subject=help>
List-subscribe: <https://dev.eclipse.org/mailman/listinfo/platform-ui-dev>, <mailto:platform-ui-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://dev.eclipse.org/mailman/listinfo/platform-ui-dev>, <mailto:platform-ui-dev-request@eclipse.org?subject=unsubscribe>

Seems this is little used and we should just merge this with platform-ui-inbox.

Anyone have any objections?

Francis

Follow-Ups:
- Re: [platform-ui-dev] Do we need platform-ide-inbox?
  - From: Boris Bokowski