frenetic-lang/frenetic — pull request #272 by seliopou (2014-03-12 14:34:25+00:00)
Title: Use latest logging API

Depends on frenetic-lang/ocaml-openflow#112