On 27/04/2013 01:12, Mike Duigou wrote: > Hello all; > > A very small change to review. > > http://cr.openjdk.java.net/~mduigou/JDK-7178639/0/webrev/ > > The change removes some erroneous documentation from the Deque push() method. > > Mike Looks fine to me too. -Alan