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