Merged branches deletion


I am going to delete these (merged) branches thursday, unless someone
feels especially attached to them:



Thanks for sweeping through all of these branches! I think I have a few extra branches that I could get rid of that haven't been merged too, this is a good reminder that I should get those cleaned up.


This is done.