Merge: sepcomp: do not colorize dead method by default
authorJean Privat <jean@pryen.org>
Mon, 12 May 2014 23:28:02 +0000 (19:28 -0400)
committerJean Privat <jean@pryen.org>
Mon, 12 May 2014 23:28:02 +0000 (19:28 -0400)
Thanks to the fix of #375, this optimization is the new default if RTA
is available.

Pull-Request: #452
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>


Trivial merge