diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2018-01-08 12:46:30 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2018-01-08 12:46:30 +0100 |
| commit | adfeb49f732dff68808af308484ce2e5e9bd7160 (patch) | |
| tree | 55aabb5cdd4dd270deda47c087c619a0fce31ebb /dev/tools/merge-pr.sh | |
| parent | 47f47713e551f8de18cf2d847f47c1f55b016c8b (diff) | |
| parent | f8b45835f78da16ecc89c0b85ed9fbe92ab4a764 (diff) | |
Merge PR #6533: Update the lower-bound of the lablgtk dependency.
Diffstat (limited to 'dev/tools/merge-pr.sh')
0 files changed, 0 insertions, 0 deletions