I have reported another debian bug for pmatop (as discovered by Christian)
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=881822
Will have a look when I have more available time.
I have reported another debian bug for pmatop (as discovered by Christian)
https:/ /bugs.debian. org/cgi- bin/bugreport. cgi?bug= 881822
Will have a look when I have more available time.