Repository navigation
This patch fixes a bug for users of our "PrimitiveProvider" interface,
where "draw_integer" could incorrectly reuse weights from an earlier
draw (issue #4908).
The canonical version of these notes (with links) is on readthedocs.