Re: [PATCH 1 of 2 v4] dispatch: change indentation level in _dispatch()

2016-09-23 Thread Yuya Nishihara
On Thu, 22 Sep 2016 12:45:25 -0700, Arun Kulshreshtha wrote: > # HG changeset patch > # User Arun Kulshreshtha > # Date 1474571988 25200 > # Thu Sep 22 12:19:48 2016 -0700 > # Node ID 75b224273359ed924528491efb88c612f3caa4ca > # Parent 5271ae66615207f39cc41d78f4541bc6f8ca6ff6 > dispatch: cha

[PATCH 1 of 2 v4] dispatch: change indentation level in _dispatch()

2016-09-22 Thread Arun Kulshreshtha
# HG changeset patch # User Arun Kulshreshtha # Date 1474571988 25200 # Thu Sep 22 12:19:48 2016 -0700 # Node ID 75b224273359ed924528491efb88c612f3caa4ca # Parent 5271ae66615207f39cc41d78f4541bc6f8ca6ff6 dispatch: change indentation level in _dispatch() Add an if True: placeholder for a pro