Print

Print


I can see pull request for DM-199 here:

https://github.com/LSST/qserv/pulls

but this ticket was merged back in September.

I have the feeling the branch related to the
other outstanding pull request was merged too.

I thought pull requests are automatically
closed when we merge. Am I missing something?

Jacek

########################################################################
Use REPLY-ALL to reply to list

To unsubscribe from the QSERV-L list, click the following link:
https://listserv.slac.stanford.edu/cgi-bin/wa?SUBED1=QSERV-L&A=1