def extract_svn_dt(line):
	"""change svn info:
		'$Id: svn_redater.py 748 2010-07-30 09:59:56Z mn $'
	into 
		'2009-10-30 13:17:45'"""
	result = None
	rx = dt_re.search(line)
	if rx:
		result = rx.group(1)
	return result
change svn info:
		'$Id: svn_redater.py 748 2010-07-30 09:59:56Z mn $'
	into 
		'2009-10-30 13:17:45'
recipes/Python/577341_Redate_source_files_using_SVN_info/recipe-577341.py