Processed: lowering severity

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> severity 233891 important
Bug#233891: acl2_2.7-9(hppa/unstable): FTBFS: dies build docs??
Severity set to `important'.

> retitle 233891 [hppa] maxima/acl2 failures at -O1/-O2, -O0 ok
Bug#233891: acl2_2.7-9(hppa/unstable): FTBFS: dies build docs??
Changed Bug title.

> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)