Completed
Push — master ( f1ab08...76cb70 )
by
unknown
01:46 queued 39s
created

Changes

4.97
▶   ± 0
Head
Nicolas Ducoulombier  
Merge pull request #7125 from christianbeeznest/ofaj-23118
1 more commit
Base
Yannick Warnier  
Admin: Re-introduce Xapian into list of suggested PHP extensions at system status level (not installer) - refs #3800