Comment 4 for bug 403316

Revision history for this message
Scott Kitterman (kitterman) wrote :

Agreed it's harmless for now, but eventually obsolete options go away.