Will do. Thanks for the quick action.

On 11/7/2013 5:16 PM, Brad Roberts wrote:
I updated the url's at github to point to https. Hopefully that fixes it. Watch the next pull merge and let me know if it's still not working.

On 11/7/13 5:11 PM, Brad Roberts wrote:
That's the only thing that's changed that would likely have caused it.. I'll see if I can find out
what's up

On 11/7/13 4:54 PM, Walter Bright wrote:
I don't know if this has anything to do with your recent changes, but when pulling github PR's,
bugzilla no longer gets updated.

_______________________________________________
dmd-internals mailing list
[email protected]
http://lists.puremagic.com/mailman/listinfo/dmd-internals

Reply via email to