« Bugzilla Issues Index
#520 — 15.5.4.16 replace replace append with append
- bug_id:
520
- creation_ts:
2012-07-12 12:02:00 -0700
- short_desc:
15.5.4.16 replace replace append with append
- delta_ts:
2014-07-20 21:12:14 -0700
- product:
Draft for 6th Edition
- component:
editorial issue
- version:
Rev 9: July 8, 2012 Draft
- rep_platform:
All
- op_sys:
All
- bug_status:
VERIFIED
- resolution:
FIXED
- priority:
Normal
- bug_severity:
normal
- everconfirmed:
true
- reporter:
Norbert
- assigned_to:
Allen Wirfs-Brock
- commentid:
1297
- comment_count:
0
- who:
Norbert
- bug_when:
2012-07-12 12:02:59 -0700
OK: replace "replace append" with "append"
- commentid:
1502
- comment_count:
1
- who:
Allen Wirfs-Brock
- bug_when:
2012-08-14 16:23:07 -0700
corrected in editor's draft
- commentid:
1709
- comment_count:
2
- who:
Allen Wirfs-Brock
- bug_when:
2012-09-28 12:24:20 -0700
fixed in rev10, Sept. 27 2012 draft
- commentid:
9431
- comment_count:
3
- who:
Norbert
- bug_when:
2014-07-20 21:12:14 -0700
Verified in rev 26 draft.