Ubuntu
omins package

  1. Bug #76711
  2. Comment #1

Comment 1 for bug 76711

Revision history for this message
Timo Aaltonen (tjaalton) wrote :

here's the debdiff. There is only a Makefile-patch that doesn't seen necessary to me.