#2427: Allow compilation of source from stdin
-+--
Reporter: guest |Owner:
Type: feature request | Status: new
Priority: normal|Milestone:
#2427: Allow compilation of source from stdin
-+--
Reporter: guest |Owner:
Type: feature request | Status: new
Priority: normal|Milestone:
#2427: Allow compilation of source from stdin
-+--
Reporter: guest| Owner:
Type: feature request | Status: new
Priority: low | Milestone: 6.12
#2427: Allow compilation of source from stdin
+---
Reporter: guest| Owner:
Type: feature request | Status: new
Priority: normal | Component: Compiler
#2427: Allow compilation of source from stdin
+---
Reporter: guest|Owner:
Type: feature request | Status: new
Priority: normal |Milestone:
#2427: Allow compilation of source from stdin
+---
Reporter: guest|Owner:
Type: feature request | Status: new
Priority: normal |Milestone:
