Closed ghost closed 6 years ago
really just a minor polish; should not need any reviewing or so.
@mzillich @tpatten please test
Sorry for the delay, we've been fixing some issues lately. But this looks fine. I did a very quick test and it seemed to work the same as before.
really just a minor polish; should not need any reviewing or so.