Issue885

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:29jendriksetstatus: reviewing -> resolved
messages: + msg8423
2018-12-23 14:46:02maltesetmessages: + msg8418
2018-12-23 12:16:54jendriksetstatus: in-progress -> reviewing
messages: + msg8416
2018-12-23 12:06:55jendrikcreate