#2390: Build failed with wrong thornlist

Reporter:
Status:	open
Milestone:
Version:
Type:	bug
Priority:	minor
Component:

Changes (by Roland Haas):

status: open (was new)

--
Ticket URL: https://bitbucket.org/einsteintoolkit/tickets/issues/2390/build-failed-with-wrong-thornlist