I finally got around to flashing this version of CyanogenMod on my DINC (was running 7.10 version before). I haven't noticed any issues so far -- it seems very stable -- and I like the changes that have been implemented (improved phone dialer, for example). The phone seems more responsive, but that might just be because flashing a new ROM forces me to clean out a bunch of the crap in the caches and apps that I am not really using.
I am a happy camper and will put off upgrading for a while longer!
Thanks to the CyanogenMod developers for a great ROM and for continuing to support it with updates and to the OP for letting us know about the update.