diff options
| author | Emilio Jesus Gallego Arias | 2019-04-28 19:59:24 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-04-28 19:59:24 +0200 |
| commit | f1fd3d42d87f8b9dd840c613dad235e3b5f3338e (patch) | |
| tree | 678458998ba17b2b489a135b92abbf61a1e7fe1f /lib | |
| parent | 02a98973d2bd1e6fd5f7489da718f5a313fc834c (diff) | |
| parent | 93febec88b7e839f9b651a01ab3e3d41b312074e (diff) | |
Merge PR #10010: [ci/gitlab] Remove after_switch message (not useful anymore).
Reviewed-by: ejgallego
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions