Davy Landman
Davy Landman
I'll try to catch one in the coming days.
```logcat 05-14 10:10:55.387 8065 7270 D AdVpnThread: doOne: Polling 9 file descriptors 05-14 10:10:56.211 8065 7270 D AdVpnThread: Read from device 05-14 10:10:56.212 8065 7270 D VpnWatchDog: handlePacket: Received packet...
the 2 hours is also due to 3 times checker is run. 
maybe the rascal-core project should get it's own issues? or at least a label?
yup, my bad, I read past that. but the typechecker we are also running on the rascal code, and I was just checking that gh actions run, so my wires...
Is that a rascal eclipse thing? I mean what does starting in the flybytes project mean if not setting the CWD to that project?
Ah, so it's: find current or parent rascal.mf file from current working directory, and use those to setup lib/src paths. That is a very nice feature that I've heard a...
I roughly agree with this plan, but the last part about moving runtime to a separate jar is still useful, as this would make it a lot easier to have...
Renames by default cause version tracking problems for git. I mean, you can for a specific git command on the shell ask for it to use a heuristic to detect...
Indeed, we don't have durations as a basic time, I can agree that it's missing. The Datetime library does contain it. But for benchmarking purposes, check out `util:: Benchmark`. We...