[jdt-dev] bugzilla version 4.7.2

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

[jdt-dev] bugzilla version 4.7.2

From: Stephan Herrmann <stephan.herrmann@xxxxxxxxx>
Date: Thu, 21 Dec 2017 14:41:59 +0100
Delivered-to: jdt-dev@xxxxxxxxxxx
List-archive: <https://dev.eclipse.org/mailman/private/jdt-dev>
List-help: <mailto:jdt-dev-request@eclipse.org?subject=help>
List-subscribe: <https://dev.eclipse.org/mailman/listinfo/jdt-dev>, <mailto:jdt-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://dev.eclipse.org/mailman/options/jdt-dev>, <mailto:jdt-dev-request@eclipse.org?subject=unsubscribe>
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.5.0

posting to the list, as I don't know, who has the permission:

Could we please get version 4.7.2 in bugzilla?

TIA,
Stephan

Follow-Ups:
- Re: [jdt-dev] bugzilla version 4.7.2
  - From: Daniel Megert

Prev by Date: [jdt-dev] Welcome Kalyan Prasad Tatavarthi as a new eclipse.jdt Committer
Next by Date: Re: [jdt-dev] bugzilla version 4.7.2
Previous by thread: [jdt-dev] Welcome Kalyan Prasad Tatavarthi as a new eclipse.jdt Committer
Next by thread: Re: [jdt-dev] bugzilla version 4.7.2
Index(es):
- Date
- Thread

Back to the top