cvs2hg 3f3bddef8f fixup commit for tag 'dist2' vor 39 Jahren
..
6500 3f3bddef8f fixup commit for tag 'dist2' vor 39 Jahren