wmde /
mediawiki-term-store
|
1
issue
(minor)
was introduced.
|
|||
| 1 added class/operation | |||
|
A | InMemoryTermIdsAcquirer::hasTerms() added | |
| Head |  Jeroen De Dauw
|
|---|---|
| ⋮ | 2 more commits |
| Base |  Marius Hoch
|
