Hi,I would like to investigate #404464. Is there someone willing to give me access to a hppa machine? I'm not a DD (so I can't use any official hppa porter machines), but my key 153FF940 is signed by a DD.
Thanks, Joachim P.S.: Please CC: me on replies.