Github user squito commented on the issue:
    just a quick note -- I realized I was confused about one part of the inner 
workings of the history server which I want to confirm before I merge this, but 
got sick and now have a bit of a backlog.  Will get back to this next week.  
Sorry for the delay


To unsubscribe, e-mail:
For additional commands, e-mail:

Reply via email to