4 Jun
2019
4 Jun
'19
12:47 p.m.
On Tue, Jun 4, 2019 at 10:34 AM Dean Troyer <dtroyer@gmail.com> wrote:
I will merge this this afternoon[0] if there are no objections or other specific timing requirements. It would be nice to have some additional LGTM comments on the PR just for, you know, posterity.
This PR has been merged into stx/stein.1 branch of stx-nova. dt -- Dean Troyer dtroyer@gmail.com