Processing commands for cont...@bugs.debian.org: > forwarded 1056054 https://github.com/openpmix/prrte/issues/1836 Bug #1056054 [openmpi-doc] openmpi-doc: /usr/share/man/man1/pterm.1.gz is already shipped by pterm Set Bug forwarded-to-address to 'https://github.com/openpmix/prrte/issues/1836'. > thanks Stopping processing here.
Please contact me if you need assistance. -- 1056054: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1056054 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems