Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.
Bug 364013 - org.eclipse.egit.ui/plugin.properties has duplicated keys
Summary: org.eclipse.egit.ui/plugin.properties has duplicated keys
Status: VERIFIED FIXED
Alias: None
Product: EGit
Classification: Technology
Component: UI (show other bugs)
Version: 1.2   Edit
Hardware: All All
: P3 minor (vote)
Target Milestone: ---   Edit
Assignee: Dani Megert CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2011-11-17 05:39 EST by Dani Megert CLA
Modified: 2011-11-21 06:06 EST (History)
0 users

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Dani Megert CLA 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 CLA 2011-11-17 05:44:21 EST 
Pushed http://egit.eclipse.org/r/4639 for review.
Comment 2 Kevin Sawicki CLA 2011-11-17 13:10:00 EST 
Merged into master as commit e1b12f0a00d555b792dc5416d62c329007a57803
Comment 3 Dani Megert CLA 2011-11-21 06:06:26 EST 
Verified in 1.2.0.201111201913.