@emilio
Bump wr_traits version, to pick the last PR.
Unverified
This user has not uploaded their public key yet.
GPG key ID: 056B727BB9C1027C Learn about signing commits
Loading status checks…
0d7c1c6 
I don't know if right now we're supposed to use it, though. Isn't it included
via path by WR?