GNUmoon has quit [Remote host closed the connection]
erectus has quit [Remote host closed the connection]
GNUmoon has joined #openscad
erectus has joined #openscad
L29Ah has joined #openscad
<teepee>
J23k81: I'll keep the banner for a day or two as I'm still testing the automation stuff like fetching freshly built snapshots and cleanting up stuff - so there's likely some more hopefully short downtimes
<teepee>
maybe even do a full re-image, but I'm not yet sure if I better leave that for sometime later
<J23k81>
good idea
<J23k81>
what about the F3/F4 should i open an issue for that?
<teepee>
hmm, I don't remember what's going on there, the GUI file only lists F4 but not F3
<teepee>
clicking the menu entry also does nothing obvious
<J23k81>
F3 does the reload
<J23k81>
so i assume someone just put in F3 instead of F4 for the reload action .. and the menu item is sending F4
misterfish has quit [Ping timeout: 245 seconds]
teepee_ has joined #openscad
teepee has quit [Ping timeout: 246 seconds]
teepee_ is now known as teepee
teepee has quit [Remote host closed the connection]