Merge pull request #425 from udif/udif_dollar_bits
authorClifford Wolf <clifford@clifford.at>
Fri, 29 Sep 2017 09:39:36 +0000 (11:39 +0200)
committerGitHub <noreply@github.com>
Fri, 29 Sep 2017 09:39:36 +0000 (11:39 +0200)
Add $bits() and $size()


Trivial merge