Jakob Borg 5837277f8d Rework XDR encoding 10 years ago
..
coder 5837277f8d Rework XDR encoding 10 years ago