mauz555 has quit []
<
_whitenotifier-e>
[solvespace] KmolYuan synchronize pull request #493: Python wrapper of the solver -
https://git.io/JelXt
<
_whitenotifier-e>
[solvespace] KmolYuan synchronize pull request #493: Python wrapper of the solver -
https://git.io/JelXt
f8l has quit [Remote host closed the connection]
f8l has joined #solvespace
<
_whitenotifier-e>
[solvespace] KmolYuan synchronize pull request #493: Python wrapper of the solver -
https://git.io/JelXt
nihilazo has quit [Remote host closed the connection]
LdBeth has quit [Read error: Connection reset by peer]
m4ssi has joined #solvespace
nihilazo has joined #solvespace
<
_whitenotifier-e>
[solvespace] ppd1990 synchronize pull request #506: WIP: snap: Build snaps on Travis via remote-build -
https://git.io/Jeih6
<
_whitenotifier-e>
[solvespace] ppd1990 edited pull request #506: WIP: snap: Build snaps on Travis via remote-build -
https://git.io/Jeih6
ppd1990 has joined #solvespace
<
_whitenotifier-e>
[solvespace] ppd1990 commented on pull request #506: WIP: snap: Build snaps on Travis via remote-build -
https://git.io/JeX8v
<
_whitenotifier-e>
[solvespace] whitequark closed pull request #516: Fix tooltips not closing on macOS Catalina -
https://git.io/JeXtR
<
_whitenotifier-e>
[solvespace/solvespace] vespakoen 0472b9e - macOS: fix tooltips not closing on Catalina.
<
_whitenotifier-e>
[solvespace] whitequark commented on pull request #516: Fix tooltips not closing on macOS Catalina -
https://git.io/JeX8o
<
_whitenotifier-e>
[solvespace] vespakoen commented on pull request #516: Fix tooltips not closing on macOS Catalina -
https://git.io/JeXBQ
<
_whitenotifier-e>
[solvespace] KmolYuan synchronize pull request #493: Python wrapper of the solver -
https://git.io/JelXt
ppd1990 has quit [Ping timeout: 276 seconds]
ppd1990 has joined #solvespace
m4ssi has quit [Remote host closed the connection]
yazjack201236 has joined #solvespace
yazjack20123 has quit [Ping timeout: 250 seconds]
edef has quit [Ping timeout: 250 seconds]
edef has joined #solvespace
ppd1990 has quit [Remote host closed the connection]