[BackupPC-devel] Delete 4.0.0 branch on github

[Craig B. <cba...@us...>]

I plan to delete the 4.0.0 branch on github.

Currently the master branch has all the 4.x development, and the 3.x.x
branch is the prior major version.

Does anyone have an issue with me doing that?

Craig