From: Paul Eggert <eggert@cs.ucla.edu>
Date: Wed, 3 Nov 2004 23:26:03 +0000 (+0000)
Subject: Update serial number.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=be4b1af1fa23cf47ce051060bd0dc3852f5d211c;p=pspp

Update serial number.
---

diff --git a/m4/uint32_t.m4 b/m4/uint32_t.m4
index 7d391cfa45..8a3f16de29 100644
--- a/m4/uint32_t.m4
+++ b/m4/uint32_t.m4
@@ -1,4 +1,4 @@
-# uint32_t.m4 serial 2
+# uint32_t.m4 serial 3
 
 # Copyright (C) 2004 Free Software Foundation, Inc.