Bug#672480: prooftree: fixing owner

owner 672480 ! thanks Repeating myself: The packaging effort is almost finished: A new up-to-date version is waiting in the OCaml maintainers git repo for review and sponsoring, see http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/prooftree.git and https://lists.debian.org/debian-ocaml

Processed: Bug#672480: prooftree: fixing owner

Processing commands for cont...@bugs.debian.org: > owner 672480 ! Bug #672480 [wnpp] ITP: prooftree -- proof tree visualization for Proof General Owner changed from Hendrik Tews to Hendrik Tews . > thanks Stopping processing here. Please contact me if you need assistance. -- 672480: http://bug