Jonathan Hitchcock <[EMAIL PROTECTED]> added the comment: Acting on a comment (with which I agree) that the "empty_elements_tag" wasn't such an obvious name, here's a (combined) patch which uses the name "short_empty_elements" (which was my original gut-feeling idea for the name, before I checked the W3C standard and found that they called them "Empty-Elements tags") instead.
Added file: http://bugs.python.org/file10264/short_empty_tag.patch __________________________________ Tracker <[EMAIL PROTECTED]> <http://bugs.python.org/issue1343> __________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
