Skip to content

8.16+rc1+0.16.0

@ejgallego ejgallego tagged this 14 Jun 17:38
See upstream changes and SerAPI test-suite changes for more
information. Remarkable changes are:

 - kernel terms are serialized a bit differently now due to KerName
   being used in more places upstream. Some internal structures also
   changes in kernel's env, so be attentive if you are depending on
   them.
 - plugin loading is adapted for 8.16 findlib loading method
Assets 2