Probably introduced in last changes to webdsl’s highlighting or changes to reposearch.
Need to debug why this search does not show hits highlighted.

Submitted by Elmer van Chastelet on 4 March 2013 at 15:45

On 8 March 2013 at 16:04 Elmer van Chastelet commented:

Fixed in this commit and deployed.


On 8 March 2013 at 16:04 Elmer van Chastelet closed this issue.

Log in to post comments