Re: RFC: c++: provide control over the stack.hh file name

[Hans Åberg]

> On 28 Sep 2018, at 13:38, Akim Demaille <address@hidden> wrote:
> 
>> Wasn’t there std::vector in the beginning of the millennium?
> 
> What is your question?  Sure, C++ had deque and vector at the
> same time.  And Bison started with deque, and we moved to vector,
> in 2013:

It seems that in 2002, it was vector, though the use of other containers was 
discussed:
  https://lists.gnu.org/archive/html/bug-bison/2002-04/msg00040.html