man/frama-c.1 | 6 3 + 3 - 0 !
1 file changed, 3 insertions(+), 3 deletions(-)

 [patch] fix hyphen-used-as-minus-sign and a typo

Makefile | 2 2 + 0 - 0 !
1 file changed, 2 insertions(+)

 [patch] .make-ocamlgraph no-op for non-local ocamlgraph

Makefile | 19 12 + 7 - 0 !
1 file changed, 12 insertions(+), 7 deletions(-)

 [patch] fix build on bytecode-only architectures

cil/src/frontc/cabs2cil.ml | 4 2 + 2 - 0 !
cil/src/logic/logic_preprocess.ml | 2 1 + 1 - 0 !
cil/src/logic/logic_preprocess.mll | 2 1 + 1 - 0 !
cil/src/logic/logic_typing.ml | 2 1 + 1 - 0 !
man/frama-c.1 | 2 1 + 1 - 0 !
ptests/ptests.ml | 2 1 + 1 - 0 !
src/ai/base.ml | 2 1 + 1 - 0 !
src/ai/base.mli | 2 1 + 1 - 0 !
src/aorai/abstract_ai.ml | 2 1 + 1 - 0 !
src/aorai/bycase_ai.ml | 2 1 + 1 - 0 !
src/kernel/journal.ml | 2 1 + 1 - 0 !
src/kernel/special_hooks.ml | 2 1 + 1 - 0 !
src/lib/qstack.mli | 2 1 + 1 - 0 !
src/memory_state/locations.mli | 4 2 + 2 - 0 !
src/project/kind.ml | 4 2 + 2 - 0 !
src/project/kind.mli | 4 2 + 2 - 0 !
src/scope/dpds_gui.ml | 2 1 + 1 - 0 !
src/slicing/fct_slice.ml | 6 3 + 3 - 0 !
src/slicing/register.ml | 2 1 + 1 - 0 !
src/slicing/slicingProject.ml | 2 1 + 1 - 0 !
20 files changed, 26 insertions(+), 26 deletions(-)

 [patch] fix some typos

share/Makefile.dynamic | 6 3 + 3 - 0 !
1 file changed, 3 insertions(+), 3 deletions(-)

 [patch] don't modify system files

configure | 2 2 + 0 - 0 !
configure.in | 1 1 + 0 - 0 !
2 files changed, 3 insertions(+)

 [patch] ocamlgraph 1.5 is compatible

src/kernel/file.ml | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 [patch] fix cpp command arguments

src/ai/ival.ml | 4 2 + 2 - 0 !
1 file changed, 2 insertions(+), 2 deletions(-)

 [patch] fix ai/ival.ml:filter_ge

src/value/eval.ml | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 [patch] unrolltype in handle_signed_overflow

src/memory_state/offsetmap.ml | 2 1 + 1 - 0 !
src/value/eval.ml | 2 1 + 1 - 0 !
2 files changed, 2 insertions(+), 2 deletions(-)

 [patch] more spelling fixes

src/value/kf_state.ml | 4 2 + 2 - 0 !
1 file changed, 2 insertions(+), 2 deletions(-)

 [patch] fix some minor memory leaks