Branch: refs/heads/master
Home: https://github.com/xrootd/xrootd
Commit: f8fa3bc1cf46c0f232bb7e602d331959fc1a86b7
https://github.com/xrootd/xrootd/commit/f8fa3bc1cf46c0f232bb7e602d331959fc1a86b7
Author: Elvin Sindrilaru <[log in to unmask]>
Date: 2018-05-30 (Wed, 30 May 2018)
Changed paths:
M packaging/debian_scripts/publish_debian_cern.sh
Log Message:
-----------
[CI] Set the proper codename for the Ubuntu build
**NOTE:** This service been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/
Functionality will be removed from GitHub.com on January 31st, 2019.
########################################################################
Use REPLY-ALL to reply to list
To unsubscribe from the XROOTD-DEV list, click the following link:
https://listserv.slac.stanford.edu/cgi-bin/wa?SUBED1=XROOTD-DEV&A=1
|