7490 nicht mehr im Trunk?

Hallo,

ich Vermisse im trunk seit mind. Rev. 11244 die 7490 in der Auswahl der Boxen.
Was denn da passiert?
Ich hab leider von SVN keine Ahnung.
Kann es jemand fixen bitte?

Gruß

sphings