On Mon, Jan 14, 2019 at 3:04 PM Michael Van Canneyt
wrote:
> I think getopts has changed since the bug was reported, but maybe the
> proposed fix is still valid.
The report is from 2011.
Since then there has been a 1 change, adding 1 line, to getopts.pp
I tried the proposed fix (it should go i
On 1/15/19 2:02 PM, Martok wrote:
Am 14.01.2019 um 18:05 schrieb Bo Berglund:
By changing the subject of an existing (very old thread) and post new
content you have screwed up the message handling of threads so this
conversation now gets stuffed into the "Resource compilation" thread
dating back
Am 14.01.2019 um 18:05 schrieb Bo Berglund:
> By changing the subject of an existing (very old thread) and post new
> content you have screwed up the message handling of threads so this
> conversation now gets stuffed into the "Resource compilation" thread
> dating back a year and 3 months...
>
>
