Re: [PATCH,c++,wwwdocs] bugs: Remove old "export" non-bug

2024-08-20 Thread Jonathan Wakely
On Mon, 5 Aug 2024 at 19:36, Gerald Pfeifer wrote: > > On Mon, 22 Jul 2024, Jonathan Wakely wrote: > >> We have been carrying this note on the "original" export feature for ages, > >> and I believe it's not actually a FAQ, if it ever was. > >> > >> Jonathan moved this down when adding a note on AD

Re: [PATCH,c++,wwwdocs] bugs: Remove old "export" non-bug

2024-08-05 Thread Gerald Pfeifer
On Mon, 22 Jul 2024, Jonathan Wakely wrote: >> We have been carrying this note on the "original" export feature for ages, >> and I believe it's not actually a FAQ, if it ever was. >> >> Jonathan moved this down when adding a note on ADL last fall. >> >> I now propose to drop it. > Sounds good to me

Re: [PATCH,c++,wwwdocs] bugs: Remove old "export" non-bug

2024-07-22 Thread Jonathan Wakely
On Mon, 22 Jul 2024 at 07:51, Gerald Pfeifer wrote: > > We have been carrying this note on the "original" export feature for ages, > and I believe it's not actually a FAQ, if it ever was. > > Jonathan moved this down when adding a note on ADL last fall. > > I now propose to drop it. > > Thoughts?

[PATCH,c++,wwwdocs] bugs: Remove old "export" non-bug

2024-07-21 Thread Gerald Pfeifer
We have been carrying this note on the "original" export feature for ages, and I believe it's not actually a FAQ, if it ever was. Jonathan moved this down when adding a note on ADL last fall. I now propose to drop it. Thoughts? Gerald diff --git a/htdocs/bugs/index.html b/htdocs/bugs/index.