Fixed the random update messages bug Just two operations that were done in the wrong order, hmpf. Closes #1030 (hopefully)
Fixed the random update messages bug
Just two operations that were done in the wrong order, hmpf.
Closes #1030 (hopefully)

abate/opam,abate/opam