shocklateboy92/kmonad — pull request #3 by ElliottLester (2013-06-12 00:57:22+00:00)
Title: Change minimized windows

minimized windows are now removed from the list the same as if they were
closed.

This fixes issues where the windows would not be tiled but were
still in the list and interfering with changes to window order.