Google Groups Home
Help | Sign in
Message from discussion buglet ???
The group you are posting to is a Usenet group. Messages posted to this group will make your email address visible to anyone on the Internet.
Your reply message has not been sent.
Your post was successful
Eduardo Chappa  
View profile
 More options Jul 26 2005, 5:39 pm
Newsgroups: comp.mail.pine
From: Eduardo Chappa <cha...@math.washington.edu>
Date: Tue, 26 Jul 2005 14:39:14 -0700
Local: Tues, Jul 26 2005 5:39 pm
Subject: Re: [Pine-4.63] buglet ???
*** Chiefy (e...@non.existent.invalidet) wrote in comp.mail.pine today:

:) 25 Jul 2005 22:45 UTC, Eduardo Chappa typed:
:) > Right, the problem is that Pine goes too far trying to look for a
:) > line where it could set the cursor, and so several things fail
:) > because of that.
:) >
:) > I have a patch in my web page that fixes this problem.
:)
:) Eduardo, many thanks again.
:) Glad to report your patch fixes the problem (slx build).

Great!. I'm glat to read that :)

:) I'm wondering if this was the correct place to report a possible
:) problem. Do you know if the Pine team have an official bug reporting
:) procedure, or is this forum acceptable?

As of today, there is no "bugzill" for Pine. However, forums like these
are read by the developers of Pine, so they know about these things. In
case they forget I remind them during alpha testing.

You can also send your reports to p...@cac.washington.edu, but unless it's
a security bug, I would advise you to either post it here or to the
pine-info list, so that it can be seen by others (like me), and maybe a
patch will come out of it, as it was in this case.

--
Eduardo
Patches/Help: http://www.math.washington.edu/~chappa/pine/
XML/RSS feed: http://www.math.washington.edu/~chappa/pine/pine.xml
Please send spam to webmaster@localhost


    Reply to author    Forward  
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.

Create a group - Google Groups - Google Home - Terms of Service - Privacy Policy
©2008 Google