NameReg integration.

Minor other alterations.
This commit is contained in:
Gav Wood 2015-08-13 13:13:59 +02:00
parent 80750d746c
commit 1e137c41f9

Diff Content Not Available