| commit | 0c3075dc28d41b22f2144d0bfe8c8f3065d5fda5 | [log] [tgz] |
|---|---|---|
| author | Jakub Josef <jakub.josef@gmail.com> | Mon Dec 11 18:40:16 2017 +0100 |
| committer | Jakub Josef <jakub.josef@gmail.com> | Fri Dec 15 17:57:38 2017 +0100 |
| tree | 7af83e8318bee2a215e74aff2c40668626b893cc | |
| parent | 870359d0a67f1fb579e92e86b9368ad46f100e6e [diff] |
Added gerrit database pools configuration Change-Id: I279660a2279363c47b526757347e55862f37e127