Skip to content
v8.0.2
vlorentz's avatar
vlorentz
@vlorentz
da0b32f1 · Publish v8.0.2 · 
v8.0.2

* Include a merge request that was mistakenly excluded from v8.0.1,
  which removes a new feature that wasn't meant to be introduced.