Re: Fwd: commons-pool git commit: Javadoc info

2017-05-14 Thread Pascal Schumacher
+1 to removing $Revision Am 14.05.2017 um 18:07 schrieb Gary Gregory: It looks like this commit covers more than Javadoc changes. Why remove the final keywords? Should we not remove $Revision instead of adding to it? Gary -- Forwarded message -- From: Date: May 14, 2017 4:58 AM

Fwd: commons-pool git commit: Javadoc info

2017-05-14 Thread Gary Gregory
It looks like this commit covers more than Javadoc changes. Why remove the final keywords? Should we not remove $Revision instead of adding to it? Gary -- Forwarded message -- From: Date: May 14, 2017 4:58 AM Subject: commons-pool git commit: Javadoc info To: Cc: Repository: com