commit before changing branches
Hrrmpf
Comitted junk
Merge remote-tracking branch 'origin/sw.nohom.leftgb' into sw.nohom.leftgb

Conflicts:
	Singular/.gdbinit
	Singular/gdb/debug_redHomog
	kernel/SDBase.cc