Ion Gaztañaga 15ad7002a5 Trying to fix warning "variable 'pnothrow' is not needed and will not be emitted"

2015-01-07 16:14:33 +01:00

..

move

Trying to fix warning "variable 'pnothrow' is not needed and will not be emitted"

2015-01-07 16:14:33 +01:00