@kugel- pushed 1 commit.

c484d7c Remove pref "Use project-based session files", now always enabled

—
View it on GitHub or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.
You are receiving this because you are subscribed to this thread.