On Wed, 31 Aug 2011, Andreas Tille wrote: > So it might make > sense to remove stuff from SVN once we have seen some releases in Git. Maybe we could write down the revision number of the SVN delete somewhere? Thorsten