[debbugs-tracker] Processed: control message for bug 15710

[GNU bug tracker automated control server]

Processing commands for address@hidden:

> merge 15702 15703 15704 15705 15706 15707 15708 15709 15710
bug#15702: [PATCH 0/8] Several patches for eww and shr.
bug#15703: [PATCH 1/8] EWW: Support user defined representation for checkbox.
bug#15704: [PATCH 2/8] EWW: Handle HTML5 input types as text input.
bug#15705: [PATCH 3/8] shr: Display content for video if no poster is available.
bug#15706: [PATCH 4/8] shr: Add support for <audio> tag.
bug#15707: [PATCH 5/8] EWW: Option to always use external-browser for certain 
content.
bug#15708: [PATCH 6/8] EWW: Erase old title.
bug#15709: [PATCH 7/8] shr: Handle <source> tag for video/audio elements.
bug#15710: [PATCH 8/8] * lisp/net/shr.el: Fix typo.
Merged 15702 15703 15704 15705 15706 15707 15708 15709 15710.

>
End of message, stopping processing here.

Please contact address@hidden if you need assistance.

GNU bugs database, http://debbugs.gnu.org/