[debbugs-tracker] Processed: Re: bug#35740: 26.1; scroll bar jaggies / tearing

[GNU bug tracker automated control server]

Processing commands for address@hidden:

> retitle 35740 [gtk] scroll bar jaggies / tearing
Bug #35740 [emacs] 26.1; scroll bar jaggies / tearing
Changed bug title to '[gtk] scroll bar jaggies / tearing' from '26.1; scroll 
bar jaggies / tearing'
> severity 35740 minor
Bug #35740 [emacs] [gtk] scroll bar jaggies / tearing
Severity set to 'minor' from 'normal'

> tags 35740 + confirmed
Bug #35740 [emacs] [gtk] scroll bar jaggies / tearing
Added tag(s) confirmed.
> quit
Stopping processing here.

Please contact address@hidden if you need assistance.

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