Released versions of Windows do not use queued trim.

(That's why serious bugs like this can happen ;)

The problem exposed in the article is about un-queued trim.

This issue is related to TRIM in the context of command queuing, not the relatively ancient straightforward TRIM which Windows supports.

Pretty sure this is an interaction issue with Samsung drives, trim support, and the Linux kernel, so no, you don't need to be worried.

Install the Samsung Magician Toolbox for best results on Windows platforms: www.samsung.com/samsungssd/

When you do this, read what they claim in ToS.