Closed Zearin closed 11 years ago
Should be good. I’d like someone (@heynemann? @fabiomcosta?) else to review it just for the sake of a sanity check.
Don’t trust myself. At the moment I’m totally zombified from staring at my screen all day. :P
Pinging @heynemann @fabiomcosta ! ☺
Don’t merge! Screwed up. Will re-open.
Updated color printing (don’t impolitely auto-bold stuff)