[Glass] Seaside 3.1.3 Install Issue - Not Found Seaside-HTML5

[Jupiter Jones via Glass]

I’ve updated my configuration to load Seaside 3.1.3 however the load produces the following issue:

Seaside3 baselinea UserDefinedError occurred (error 2318), reason:halt, Name not found: Seaside-HTML5

I looked in:

https://github.com/GsDevKit/Seaside31/tree/gs_master/repository

…but didn’t see the Seaside-HTML5 package.

Should I still be using 3.1.2?

Cheers,

Jupiter