SPIN/ID2T-toolkit: The official ID2T repository is now in GitHub and can be found in https://github.com/tklab-tud/ID2T @ 8ca90fd6d0e90eedb455134095be7dba818b25d6

Stefan Schmidt e37394d479 Fix: Type of pktsReceived is supposed to be INTEGER		7 jaren geleden
..
src	e37394d479 Fix: Type of pktsReceived is supposed to be INTEGER	7 jaren geleden