It was a merge error fixed by Evan yesterday with the following commits:

  - 4d39bffd95 (v9_11)
  - cd2556d78c (v9_10)
  - 39215c7e1f (v9_10_sub)
  - 3dbc4979c6 (v9_9)
  - d4da1f21c4 (v9_9_sub)

None of the Robie builds including the above commits seem to have failed
the filter-aaaa system test.