diff options
author | Christoph Wurst <ChristophWurst@users.noreply.github.com> | 2020-11-06 17:40:03 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-11-06 17:40:03 +0300 |
commit | f4f4d046de3fbed88ac7081bbfc9545da0267baf (patch) | |
tree | 63ab7c3c262e07c375aede10cd2afa2a533a13d1 /lib/Controller/MessagesController.php | |
parent | 6fa1ea6f39236d8d89f1ccf4c2b1ff5e9f0c506b (diff) | |
parent | ebb27195fe3747ddf863214223b2de1ce54ca59c (diff) |
Merge pull request #4017 from nextcloud/techdept/php-7.2-drop
Drop php7.2 from CI and info.xml
Diffstat (limited to 'lib/Controller/MessagesController.php')
0 files changed, 0 insertions, 0 deletions