[Pkg-octave-devel] Processed: Re: Bug#512075: #512075 octave-symbolic: Undefined symbol

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

Processing commands for control@bugs.debian.org:

> package: octave-symbolic
Ignoring bugs not assigned to: octave-symbolic

> tag 512075 confirmed
Bug#512075: octave-symbolic: Undefined symbol
There were no tags set.
Tags added: confirmed

> fixed 512075 1.0.7-1
Bug#512075: octave-symbolic: Undefined symbol
Bug marked as fixed in version 1.0.7-1.

> thanks
Stopping processing here.

Please contact me if you need assistance.

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