You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Merge #19
19: Cleanup some oversights while migrating to the newer petgraph r=jonasbb a=jonasbb
* Use 2018 edition
* Make version-sync a dev dependency to remove unnecessary dependencies
Co-authored-by: Jonas Bushart <jonas@bushart.org>