Additions and Changes for Cider-CI Version 3.7 "Redmond"