Issue 885: docs: group potential heuristics - Fast Downward issue tracker

Title	docs: group potential heuristics
Priority	wish	Status	resolved
Superseder		Nosy List	jendrik, malte
Assigned To	jendrik	Keywords
Optional summary	Part of issue816.

Created on 2018-12-23.12:06:55 by jendrik, last changed by jendrik.

Summary
Part of issue816.

Messages
msg8423 (view)	Author: jendrik	Date: 2018-12-28.12:37:29
Merged.
msg8418 (view)	Author: malte	Date: 2018-12-23.14:46:02
Very nice, thanks for looking into this! Looks good to me.
msg8416 (view)	Author: jendrik	Date: 2018-12-23.12:16:54
I made a pull request at https://bitbucket.org/jendrikseipp/downward/pull-requests/118 .

History
Date	User	Action	Args
2018-12-28 12:37:29	jendrik	set	status: reviewing -> resolved messages: + msg8423
2018-12-23 14:46:02	malte	set	messages: + msg8418
2018-12-23 12:16:54	jendrik	set	status: in-progress -> reviewing messages: + msg8416
2018-12-23 12:06:55	jendrik	create