> On Jan 13, 2020, at 5:01 PM, Jason Thorpe <thorpej%me.com@localhost> wrote: > > Hey folks -- > > I am proposing that we remove support for HIPPI. Since there were no objections, HIPPI has been removed. If someone wants to resurrect it and make it MO-safe, it can be found in the Attic. -- thorpej