Checkout
rjung
committed
on 05 Aug
Add another patch to fix the new use of pragma.
Still under test.