[dev] [dwm] save float patch

From: BOUDOU Joseph <jogo_AT_matabio.net>
Date: Sat, 13 Feb 2010 12:54:11 +0100

I really loved the "historical" save floats patch.

Here is my own patch against 72e52c5333ef (should work against
5.7.2 too). Comments are welcome.

Received on Sat Feb 13 2010 - 11:54:11 UTC

This archive was generated by hypermail 2.2.0 : Sat Feb 13 2010 - 12:12:02 UTC