diff --git a/checkin_notes b/checkin_notes index 2d22abcfc1..2d3ff40a38 100755 --- a/checkin_notes +++ b/checkin_notes @@ -15493,8 +15493,12 @@ Karl 2004-07-21 tools/ update_versions - - fixed html/php bugs + - fixed html/php bugs (e.g. should be