{"shas":[["be121aaadbf248cfe2c5a9d94e596da02d54a71c","9130ddd8f2773565f7074f4017466d40424451b1@gmail.com","Group by inheritance related bugfix; made filter buttons not resize\nanymore on click.","ruediger.keller"]],"ref":"refs/heads/scaladoc-filter-panel","size":1,"head":"be121aaadbf248cfe2c5a9d94e596da02d54a71c","push_id":36828845}