Merge PR #19883: 'Ltac2 Notation string := ...' is not abbreviation. #4326
Annotations
1 warning
|
homebrew outdated pkg-config fix
pkgconf 2.3.0_1 is already installed and up-to-date.
To reinstall 2.3.0_1, run:
brew reinstall pkgconf
|
Loading