A ticket would be nice on this since it is a user facing feature.
Is there anything in the README for the docs that should highlight this?
--joel
On Fri, Feb 11, 2022 at 8:18 PM Gedare Bloom wrote:
>
> That looks better. My other comments still need to be addressed. You
> should also make sure
That looks better. My other comments still need to be addressed. You
should also make sure the patch applies cleanly to a fresh repo. I
think I saw some whitespace problems.
It will be easier to review if you can figure out how to get
git-send-email to work.
On Fri, Feb 11, 2022 at 10:43 AM Shash
Here is the patch, I ran yapf on it and it didn't introduce any changes.
Please take a
look and let me know what you think.
On Fri, 11 Feb 2022, 10:31 pm Gedare Bloom, wrote:
> On Fri, Feb 11, 2022 at 9:38 AM Shashvat
> wrote:
> >>
> >>
> >
> > Hi Gedare!!
> >
> >> Is there a ticket associated
On Fri, Feb 11, 2022 at 9:38 AM Shashvat wrote:
>>
>>
>
> Hi Gedare!!
>
>> Is there a ticket associated with this, or any feature request? Or
>> just something you thought of doing?
>
>
> I am sorry I should have mentioned the motive behind the option.
> I was planning to work on ticket # whic
>
>
>
Hi Gedare!!
Is there a ticket associated with this, or any feature request? Or
> just something you thought of doing?
>
I am sorry I should have mentioned the motive behind the option.
I was planning to work on ticket # which works on a specific
posix-users manual afaik. I wanted waf to
Hi Shashvat,
On Fri, Feb 11, 2022 at 1:38 AM Shashvat wrote:
>
> Hello all!!
> This patch adds the --build-manuals option enabling one to build specific
> documentation manuals. I also updated the README.
>
Is there a ticket associated with this, or any feature request? Or
just something you tho
Hello all!!
This patch adds the --build-manuals option enabling one to build specific
documentation manuals. I also updated the README.
---
README.txt | 10 +++---
common/waf.py | 9 +
wscript | 9 +
3 files changed, 25 insertions(+), 3 deletions(-)
diff --git a/README.txt b/
Put the next character into the send buffer if the buffer is empty and
not when the last character has been sent out to the line. This improves
the performance slightly.
Before that patch, the receive path was faster than the transmit path.
Therefore a simple echo could drop characters on a busy c
