Docs: Rename duplicate title in porting guide
Fix one of the two titles that ended up being the same, although both
describe different things.

Change-Id: I66ecf369643709898ee4c014659d8f85c0480643
1 parent a5a4231 commit ec2653a742ebf8225acd5fd6166e4affd119345a
@Jeenu Viswambharan Jeenu Viswambharan authored on 11 Oct 2016
Showing 1 changed file
View
docs/porting-guide.md