openflow.0.7.0: release
openflow.0.8.0: setup next release
Merge pull request #32 from frenetic-lang/openflow

openflow