On 11/24/2015 05:05 AM, Bruce Adams wrote: > I was just looking at the git hub pages for warp and flint and I notice > they've recently been labelled as "no longer maintained" Maintaining OSS projects is difficult; they barely keep up with folly. The code is still used internally. -- Andrei