3
$\begingroup$

Should and be merged?

It looks like I may be the culprit here, I only see three hst questions and they're all mine.

$\endgroup$
2
$\begingroup$

This is a simple enough request, so I've gone ahead and performed the merge; I can't think of a reason not to. In the process, I also created a synonym mapping to . If we see something like arise, I can merge that, if need be. But for now it looks like we're all good.

$\endgroup$
  • $\begingroup$ Thank you for your speedy and thorough attention! $\endgroup$ – uhoh Nov 2 '18 at 3:18

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .