Completed
Push — keepfilteroptionsextentionmgr ( 655dcd )
by Gerrit
04:19
created

No notable changes

There were no notable changes in the changeset which was inspected.

6.4
▶   ± 0
Head
Gerrit Uitslag  
store the last filtering in the extension manager
1 more commit
Base
Andreas Gohr  
Merge pull request #1542 from splitbrain/protectedusers