[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

feature/package-vc has been merged

From: Philip Kaludercic
Subject: feature/package-vc has been merged
Date: Fri, 04 Nov 2022 18:01:09 +0000

Stefan Monnier <monnier@iro.umontreal.ca> writes:

>> OK, I've merged master into feature/package+vc, resolving all conflicts
>> and would be prepared to merge feature/package+vc if there are no
>> further objections.
> No objections on my side,

I have merged the branch onto master, so if anyone wants to fix,
add/remove or improve anything, feel free to do so.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]