00:36
ste||ar-github has joined #ste||ar
00:36
<
ste||ar-github >
hpx/gh-pages 0d8ea13 StellarBot: Updating Sphinx docs
00:36
ste||ar-github has left #ste||ar [#ste||ar]
01:46
eschnett_ has joined #ste||ar
01:59
ste||ar-github has joined #ste||ar
01:59
<
ste||ar-github >
hpx/hotfix_function_use b144f4a Hartmut Kaiser: Make sure empty startup/shutdown functions are not being used
01:59
ste||ar-github has left #ste||ar [#ste||ar]
02:30
eschnett_ has quit [Quit: eschnett_]
02:30
eschnett_ has joined #ste||ar
02:44
K-ballo has quit [Quit: K-ballo]
04:08
hkaiser has quit [Quit: bye]
04:37
nanashi55 has quit [Ping timeout: 250 seconds]
04:39
nanashi55 has joined #ste||ar
08:14
david_pfander has joined #ste||ar
08:34
diehlpk has quit [Read error: Connection reset by peer]
08:34
jaafar has quit [Remote host closed the connection]
08:35
jaafar has joined #ste||ar
08:35
maxwellr96 has quit [Ping timeout: 268 seconds]
10:07
<
zao >
Do any of you fine people know of Paolo Bientinesi? Got him as a new professor at our site.
11:40
david_pfander has quit [Remote host closed the connection]
11:40
david_pfander has joined #ste||ar
11:48
K-ballo has joined #ste||ar
13:05
hkaiser has joined #ste||ar
14:12
eschnett_ has quit [Quit: eschnett_]
14:12
aserio has joined #ste||ar
14:44
hkaiser has quit [Quit: bye]
14:44
eschnett_ has joined #ste||ar
15:14
hkaiser has joined #ste||ar
16:31
jaafar has quit [Ping timeout: 264 seconds]
16:39
david_pfander has quit [Ping timeout: 268 seconds]
16:58
aserio has quit [Ping timeout: 268 seconds]
16:59
aserio has joined #ste||ar
17:16
david_pfander has joined #ste||ar
17:21
david_pfander has quit [Ping timeout: 268 seconds]
17:32
aserio has quit [Ping timeout: 250 seconds]
17:38
aserio has joined #ste||ar
18:32
jaafar has joined #ste||ar
18:40
aserio has quit [Ping timeout: 268 seconds]
18:56
eschnett_ has quit [Quit: eschnett_]
19:01
eschnett has joined #ste||ar
19:13
parsa[[w]] has quit [Read error: Connection reset by peer]
19:15
aserio has joined #ste||ar
19:21
parsa[w] has joined #ste||ar
19:44
parsa[w] has quit [Read error: Connection reset by peer]
19:50
jaafar has quit [Ping timeout: 246 seconds]
20:11
parsa[w] has joined #ste||ar
20:19
jaafar has joined #ste||ar
20:58
eschnett has quit [Quit: eschnett]
21:09
aserio has quit [Ping timeout: 268 seconds]
21:19
diehlpk has joined #ste||ar
21:33
diehlpk has quit [Ping timeout: 264 seconds]
21:35
hkaiser has quit [Quit: bye]
21:44
aserio has joined #ste||ar
22:43
aserio has quit [Quit: aserio]
22:57
maxwellr96 has joined #ste||ar
23:04
hkaiser has joined #ste||ar