Processing commands for [email protected]: > 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 [email protected] with problems
