Skip to content

v2.4.16

Choose a tag to compare

@michael-emmi michael-emmi released this 13 Feb 15:36
124d1ce
Remove typeEncoding:n (#194)

The typeEncoding:n option is unsound, as indicated in its documentation. It also does not appear to be used. This commit eliminates the /typeEncoding:n option.