Re: timevar: documentation

2018-09-30 Thread Bruno Haible
Akim Demaille wrote: > Your patch is fine, of course. OK, pushed. Bruno

Re: timevar: documentation

2018-09-30 Thread Akim Demaille
Hi Bruno! Thanks a lot for you help! > Le 30 sept. 2018 à 01:01, Bruno Haible a écrit : > > Hi Akim, > > How about the following patch to: > - include timevar.texi in the Gnulib documentation, Bummer. I had convinced myself this was automated. > - mention '#include ', needed for stderr, > -