Processed: control message for bug #22513

[GNU bug tracker automated control server]

Processing commands for control@debbugs.gnu.org:

> tags 22513 + moreinfo
Bug #22513 [emacs] 25.0.90; xwidget-webikit doesn't handle new html5 input types
Bug #22515 [emacs] 25.0.90; xwidget-webikit doesn't handle new html5 input types
Bug #22516 [emacs] 25.0.90; xwidget-webkit can't input into new HTML5 input 
types
Added tag(s) moreinfo.
Added tag(s) moreinfo.
Added tag(s) moreinfo.
> quit
Stopping processing here.

Please contact help-debbugs@gnu.org if you need assistance.

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