Skip to content
Jenkins
log in
Dashboard
noreply
My Views
All
Pufferfish-1.17
#22
Changes
Status
Changes
Console Output
View Build Information
Polling Log
Built on Docker
Git Build Data
Previous Build
Changes
Summary
Fix issue with lecterns (
commit: 42ef3dc
) (
details
)
Commit
42ef3dcc14ba1013dbdde39e9641c698790c346d
by
Kevin Raneri
Fix issue with lecterns
(
commit: 42ef3dc
)
The file was added
patches/server/0010-Fix-issue-with-lecterns.patch
![[Jenkins]](/static/63251d72/images/svgs/logo.svg){kind=logo}
