[C++ Patch] PR 57524
Jason Merrill
jason@redhat.com
Fri Jan 24 15:28:00 GMT 2014
Previous message (by thread):
[C++ Patch] PR 57524
Next message (by thread):
[Ada] Turn off SPARK_Mode for generated subprograms
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
OK for trunk and 4.8. Jason
Previous message (by thread):
[C++ Patch] PR 57524
Next message (by thread):
[Ada] Turn off SPARK_Mode for generated subprograms
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the Gcc-patches mailing list