7

It's definitely a typo, so should be merged with

5

Sounds reasonable to me. Done.

You must log in to answer this question.

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