Add another old commit to git-blame-ignore-revs.

diff --git a/.git-blame-ignore-revs b/.git-blame-ignore-revs
index a1df19c8fa17108eedb68fdce5fdff0825556359..247eff5a71bde4c84752a0e4e73e184002964511 100644 (file)
--- a/.git-blame-ignore-revs
+++ b/.git-blame-ignore-revs
@@ -122,6 +122,9 @@ de94e2af184e25576b13cbda8cf825118835d1cd # 2016-04-06 11:34:02 -0400
 be060cbcd42737693f6fd425db4c139121181cce # 2016-03-09 13:51:11 -0500
 # Re-pgindent vacuumlazy.c.
 
+0231f838565d2921a0960407c4240237ba1d56ae # 2016-02-08 15:17:40 -0500
+# Re-pgindent varlena.c.
+
 d0cd7bda97a626049aa7d247374909c52399c413 # 2016-02-04 22:30:08 -0500
 # postgres_fdw: pgindent run.