Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
[eclipse-pmc] API change request: method rename

The following method has a type in the name. We request permission to 
change the method name.

GOALS/BENEFITS:
Fix a typo in an API method name

CORRESPONDING BUG:
https://bugs.eclipse.org/bugs/show_bug.cgi?id=178616
https://bugs.eclipse.org/bugs/show_bug.cgi?id=178617

RISKS:
org.eclipse.jdt.launching is using it, but we will propose a patch for 
them and coordinate the commits to the same build. See bug 178617.

PERFORMANCE IMPACTS:
None.

Olivier


Back to the top