[debbugs-tracker] Processed: Re: bug#10648: scrollbar width reset to default

[GNU bug tracker automated control server]

Processing commands for address@hidden:

> retitle 10648 [gtk] scrollbar width reset to default
Bug #10648 [emacs] scrollbar width reset to default
Changed bug title to '[gtk] scrollbar width reset to default' from 'scrollbar 
width reset to default'
> severity 10648 minor
Bug #10648 [emacs] [gtk] scrollbar width reset to default
Severity set to 'minor' from 'normal'

> retitle 18990 [gtk] Setting narrow scrollbar width doesn't have effect
Bug #18990 [emacs] 25.0.50; Scroll bar display problems
Changed bug title to '[gtk] Setting narrow scrollbar width doesn't have effect' 
from '25.0.50; Scroll bar display problems'
> severity 18990 minor
Bug #18990 [emacs] [gtk] Setting narrow scrollbar width doesn't have effect
Severity set to 'minor' from 'normal'

> quit
Stopping processing here.

Please contact address@hidden if you need assistance.

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