Re: Bug report in length of simple table

[Pierpaolo Bernardi <olopierpa@...>]

On Wed, Sep 14, 2016 at 4:04 PM, Roberto Ierusalimschy
<roberto@inf.puc-rio.br> wrote:

> We are planning to restore it. The new explanation would go like this.
> (What sounds better, "border" or "frontier"?)

Excellent explanation.

FWIW, I prefer "border".

Thanks!

P.