What is the current “policy” regarding merging new distributions into Distributions.jl?
It would appear that the last time someone tried
https://github.com/JuliaStats/Distributions.jl/pull/972
they got partially tied up waiting for this
https://github.com/JuliaStats/Distributions.jl/pull/951
Are new distribution PRs completely on hold until PR#951 is sorted out?