Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

Bug 364013

Summary:	org.eclipse.egit.ui/plugin.properties has duplicated keys
Product:	[Technology] EGit	Reporter:	Dani Megert <daniel_megert>
Component:	UI	Assignee:	Dani Megert <daniel_megert>
Status:	VERIFIED FIXED	QA Contact:
Severity:	minor
Priority:	P3
Version:	1.2
Target Milestone:	---
Hardware:	All
OS:	All
Whiteboard:

Description Dani Megert

2011-11-17 05:39:10 EST

1.2.

2 keys in org.eclipse.egit.ui/plugin.properties are there twice.

Comment 1 Dani Megert

2011-11-17 05:44:21 EST

Pushed http://egit.eclipse.org/r/4639 for review.

Comment 2 Kevin Sawicki

2011-11-17 13:10:00 EST

Merged into master as commit e1b12f0a00d555b792dc5416d62c329007a57803

Comment 3 Dani Megert

2011-11-21 06:06:26 EST

Verified in 1.2.0.201111201913.