[bts-link] source package openmpi
#
# bts-link upstream status pull for source package openmpi
# see http://lists.debian.org/debian-devel-announce/2006/05/msg00001.html
# https://bts-link-team.pages.debian.net/bts-link/
#
user debian-bts-link@lists.debian.org
# remote status report for #1056054 (http://bugs.debian.org/1056054)
# Bug title: openmpi-doc: /usr/share/man/man1/pterm.1.gz is already shipped by pterm
# * https://github.com/openpmix/prrte/issues/1836
# * remote status changed: (?) -> open
usertags 1056054 + status-open
thanks
Reply to: