Skip to content

IS_NAT and INT

Basile Pesin requested to merge is_nat-int into master

I added the IS_NAT and INT instructions.

I also corrected an error in manager.tz in the last master commit, due to the section refactor.

Merge request reports