Add another commit to ignore

We can't handle r12-7818-g3ab5c8cd03d92bf4ec41e351820349d92fbc40c4

	* gcc-changelog/git_update_version.py: Add
	3ab5c8cd03d92bf4ec41e351820349d92fbc40c4 to ignored commits.

diff --git a/contrib/gcc-changelog/git_update_version.py b/contrib/gcc-changelog/git_update_version.py
index 1837c1a8d7fafcf658e3a6cf112fcfea12d9e8be..8cd337d5434a9e9d641dab5b06d155e959964d3e 100755 (executable)
--- a/contrib/gcc-changelog/git_update_version.py
+++ b/contrib/gcc-changelog/git_update_version.py
@@ -30,7 +30,8 @@ current_timestamp = datetime.datetime.now().strftime('%Y%m%d\n')
 IGNORED_COMMITS = (
         'c2be82058fb40f3ae891c68d185ff53e07f14f45',
         '04a040d907a83af54e0a98bdba5bfabc0ef4f700',
-        '2e96b5f14e4025691b57d2301d71aa6092ed44bc')
+        '2e96b5f14e4025691b57d2301d71aa6092ed44bc',
+        '3ab5c8cd03d92bf4ec41e351820349d92fbc40c4')
 
 
 def read_timestamp(path):