-
Enhancement
-
Resolution: Done
-
Major
-
4.2.0.CR1
-
None
FileDescriptor.getOptions() returns a list that currently allow duplicates.
We should ensure at parsing time that these options have unique names.
FileDescriptor.getOptions() returns a list that currently allow duplicates.
We should ensure at parsing time that these options have unique names.