[OpenSCAD] Can't comment on github issue.

nop head nop.head at gmail.com
Mon Oct 22 08:32:08 EDT 2018


The update page seems to think 12:56 GMT was half an hour ago but it hasn't
happened yet!

On Mon, 22 Oct 2018 at 12:46, nop head <nop.head at gmail.com> wrote:

> Very confusing. It still seems to be broken but I have posted a comment
> and sometimes it appears to be there multiple time and sometimes it doesn't.
>
>
>
> On Mon, 22 Oct 2018 at 09:23, Øystein E. Krog <oystein.krog at gmail.com>
> wrote:
>
>> Github is having trouble.
>> See status.github.com :)
>>
>> On Mon, Oct 22, 2018 at 10:19 AM nop head <nop.head at gmail.com> wrote:
>>
>>> I am trying to add the following to
>>> https://github.com/openscad/openscad/pull/2524
>>>
>>> Can I suggest isUndef is added before this is merged as I can't live
>>>> with half a million warnings in all my projects. It takes a long time to
>>>> spit them out. I thought repeated identical warnings where supposed to be
>>>> suppressed?
>>>>
>>>
>>> But I get this:
>>>
>>> [image: image.png]
>>>
>>> Anybody know why? Have I been blocked?
>>> _______________________________________________
>>> OpenSCAD mailing list
>>> Discuss at lists.openscad.org
>>> http://lists.openscad.org/mailman/listinfo/discuss_lists.openscad.org
>>>
>> _______________________________________________
>> OpenSCAD mailing list
>> Discuss at lists.openscad.org
>> http://lists.openscad.org/mailman/listinfo/discuss_lists.openscad.org
>>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.openscad.org/pipermail/discuss_lists.openscad.org/attachments/20181022/d46accc5/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: image.png
Type: image/png
Size: 22616 bytes
Desc: not available
URL: <http://lists.openscad.org/pipermail/discuss_lists.openscad.org/attachments/20181022/d46accc5/attachment.png>


More information about the Discuss mailing list