log

age author description
Tue, 18 Jan 2022 10:27:13 +0100 Raphaël Gomès branching: merge with stable
Mon, 17 Jan 2022 12:50:13 +0100 Simon Sapin rust: Fix outdated comments in OwningDirstateMap
Fri, 14 Jan 2022 09:28:44 -0800 Martin von Zweigbergk merge: consider the file merged when using :merge-{local,other}