Subject: [bug#36615] [PATCH] gnu: Add opencascade-occt.

From: Paul Garlick <[email-masked]>
Date: Tue, 16 Jul 2019 22:32:18 +0100

Hi Ludo,

> OK to push with these changes, thank you!

Pushed as commit 37dc29200c44adc0474476b8df46ed44e8a1d41a.

Thanks!

Paul.