- New Progvis version (0.6.8). Minor bugfixes to the model checker, updated names of atomic operations. - Fixed a bug in the implementation of `Vector() / Vector()`. - Make sure that closing files when using io_uring work properly even when they are executed by a different thread than they were created on (e.g. when called from a finalizer). This could previously lead to deadlocks in certain situations.