Back to Pull RequestsView on GitHub
#71Closed
Simple Review
Update double.h
by punctual•Feb 18, 2014
Summary
This pull request makes a minor, non-functional change to the 'double.h' header file. The description indicates it's a fix for punctuation, suggesting a very small, isolated modification.
Changes
+1 additions-1 deletions
Impact Areas
Core Kernel Headers