Update def.rs

This commit is contained in:
bjorn3 2017-06-04 18:15:19 +02:00 committed by GitHub
parent a555d49757
commit a9c2cdc720