HomeSource World

Merge pull request #107658 from blitz/fix-ckermit

Description

Merge pull request #107658 from blitz/fix-ckermit

kermit: fix build

Details

Provenance
Pascal Wittmann <mail@pascal-wittmann.de>Authored on Sat, Dec 26, 8:50 PM
GitHub <noreply@github.com>Committed on Sat, Dec 26, 8:50 PM
sorpaasPushed on Mon, Dec 28, 3:40 AM
Parents
rNIXPKGS7bd7b5bea9bc: kermit: fix build
rNIXPKGS7543a5bf7129: Merge pull request #107636 from markuskowa/clean-molcas
Branches
Unknown
Tags
Unknown

Event Timeline

GitHub <noreply@github.com> committed rNIXPKGS9e5bb1566eed: Merge pull request #107658 from blitz/fix-ckermit (authored by Pascal Wittmann <mail@pascal-wittmann.de>).Sat, Dec 26, 8:50 PM