history bug
Merge branch 'pakka' of github.com:arifogel/batfish into pakka
compare history minor changes
Merge branch 'pakka' of github.com:arifogel/batfish into pakka
Merge branch 'pakka' of github.com:arifogel/batfish into pakka
Merge branch 'pakka' of github.com:arifogel/batfish into pakka
remove extract from history/self analyze