[why/f16] (2 commits) ...It works better if you bump the release number.

[Jerry James]

Summary of changes:

  7d0ca0e... Rebuild with APRON and gappalib-coq support. (*)
  681e402... It works better if you bump the release number. (*)

(*) This commit already existed in another branch; no separate mail sent