f660c202b4 · Merge branch 'master' of gitlab.odin.cse.buffalo.edu:sqlite-benchmark/core · Updated 2015-06-30 12:55:44 -04:00
Deleting a branch is permanent. Although the deleted branch may exist for a short time before cleaning up, in most cases it CANNOT be undone. Continue?