idris-lang/Idris-dev — pull request #1148 by melted (2014-05-01 11:45:59+00:00)
Title: Don't set CC if it has already been set

Fixes issue #1146.