Merge pull request #996 from mdaiter/ceil_log2_opts
authorClifford Wolf <clifford@clifford.at>
Tue, 7 May 2019 17:46:27 +0000 (19:46 +0200)
committerGitHub <noreply@github.com>
Tue, 7 May 2019 17:46:27 +0000 (19:46 +0200)
Optimize ceil_log2 function


Trivial merge