frenetic-lang/frenetic — pull request #309 by seliopou (2014-06-23 14:54:28+00:00)
Title: mininet: fix NYIs

Gotta put them behind a function application.