Merge branch 'master' into master
1df907381de5
Actions

Authored by Gennadiy Civil <gennadiycivil@users.noreply.github.com> on Jan 9 2018, 20:00.

Description

Merge branch 'master' into master

Committed

GitHub <noreply@github.com>

Jan 9 2018, 20:00

Pushed

• trottet

Dec 4 2019, 13:52

Parents

Branches

Unknown

Tags

Unknown

GitHub <noreply@github.com> committed R9484:1df907381de5: Merge branch 'master' into master (authored by Gennadiy Civil <gennadiycivil@users.noreply.github.com>).Jan 9 2018, 20:00

Commit	Author	Details	Committed
e194f52114a1	Gennadiy Civil/GitHub	Merge pull request #1388 from rongjiecomputer/bazel	Jan 9 2018
cbd15d417e9a	Loo Rong Jie	[Bazel] Detect Windows with cpu value x64_windows and x64_windows_msvc	Jan 9 2018
c3bb0ee2a632	Gennadiy Civil/GitHub	Merge pull request #1390 from gennadiycivil/master	Jan 8 2018