Bumped Brics version to 1.11.8
Motivation behind the bump is the following Gerrit targeted Brics patch, which was included in the 1.11.8 release: https://github.com/GLundh/dk.brics.automaton/commit/75175c3 This Brics version fixes a performance issue in some larger Gerrit systems. Change-Id: I53637988fbe1769d2d18860b7ebe70f70781786c
This commit is contained in:
parent
813123b520
commit
f7b65a20d4
Loading…
x
Reference in New Issue
Block a user