Bug fix: Hashtbl.filter_map_inplace did not correctly update the size field.
Bug fix: Hashtbl.filter_map_inplace did not correctly update the size field.

yunxing/ocaml,yunxing/ocaml,gerdstolpmann/ocaml,msprotz/ocaml,gerdstolpmann/ocaml,eliberis/ocaml,yunxing/ocaml,eliberis/ocaml,msprotz/ocaml,gerdstolpmann/ocaml,eliberis/ocaml,yunxing/ocaml,eliberis/ocaml,yunxing/ocaml,msprotz/ocaml,msprotz/ocaml,eliberis/ocaml,gerdstolpmann/ocaml,msprotz/ocaml,gerdstolpmann/ocaml