Release v1.5.1

Written by Yves Vindevogel on Thu, 7 May 2020

This is a minor bug update, just one small bug, sorry.

Release info

  • author: Yves Vindevogel (vindevoy)
  • date: 2020-05-07

Bug Fixes

  • There was a problem with the search results. The font weight (bold) of found text in the search results is now case-insensitive.


For more information on this release, see the issues for this milestone:


  • Bug Fixes
Latest version