Skip to content

Port 14809 to master#14846

Merged
billti merged 9 commits into
masterfrom
dev/billti/port14809ToMaster
Mar 24, 2017
Merged

Port 14809 to master#14846
billti merged 9 commits into
masterfrom
dev/billti/port14809ToMaster

Conversation

@billti
Copy link
Copy Markdown
Member

@billti billti commented Mar 24, 2017

Port pull request #14809 to master.

billti and others added 9 commits March 24, 2017 11:58
(cherry picked from commit cc8ce59)
(cherry picked from commit de8fb9e)
# Conflicts:
#	src/server/editorServices.ts
#	src/server/project.ts

(cherry picked from commit 456614f)
(cherry picked from commit be30adc)
(cherry picked from commit 16c7bcf)
(cherry picked from commit 8b3c54d)
(cherry picked from commit 7b17f6a)
(cherry picked from commit 63aeacb)
(cherry picked from commit ff09479)
(cherry picked from commit c66a535)
(cherry picked from commit 2721a8c)
(cherry picked from commit 1696df6)
(cherry picked from commit e9e7271)
(cherry picked from commit 35e7717)
(cherry picked from commit 8a67b6d)
@billti billti merged commit 9e8b3d9 into master Mar 24, 2017
@billti billti deleted the dev/billti/port14809ToMaster branch March 24, 2017 22:16
@microsoft microsoft locked and limited conversation to collaborators Jun 21, 2018
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants