Mikael Nordfeldth bed8cc48bc Add an index for Attention notice_ids too
Not sure if this is really needed, since notice_id and profile_id together
build up the primary key. That might cause MySQL to index them anyway.
2014-03-06 14:42:29 +01:00
..
2014-03-05 13:44:34 +01:00
2013-11-02 14:30:29 +01:00