Re: 8021261: ProblemList.txt updates (7/2013)

[Alan Bateman]

On 24/07/2013 06:24, Chris Hegarty wrote:
I'm planning this months update to the ProblemList.txt.
Anyone got anything else they would like to add, under this bug 
number? Otherwise, I'll push the two changes I have below.

  8008200: has been fixed
  8020435: will be fixed soon. We can remove it when the source
           change appears.

Looks okay to me, I don't know of other updates that are needed at this 
time.

-Alan