82f5376 Aug 2, 2018
@Drup Drup Relax the type of make_iprintf and improve Format.ifprintf.
12 contributors

Users who have contributed to this file

@gasche @damiendoligez @alainfrisch @ygrek @xclerc @xavierleroy @Drup @yallop @shindere @lpw25 @Fourchaux @dra27